index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
coq-core.opam.template
blob: c0efccdc0f1c5cee3ea6a29b82eea2e704b3cc6c (
plain
)
1
2
3
build-env: [ [ COQ_CONFIGURE_PREFIX = "%{prefix}" ] ]
