index
:
debian-coq
master
pristine-tar
upstream
Debian packaging for Coq
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
test-suite
/
coq-makefile
/
findlib-package
/
findlib
/
foo
/
META
blob: ff5f1c7c96acf61895160ca85610992e4b1147c0 (
plain
)
1
2
3
4
archive(byte)="foo.cma" archive(native)="foo.cmxa" linkopts="-linkall" requires="str"
