index
:
debian-coq
master
pristine-tar
upstream
Debian packaging for Coq
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
debian
/
coq.links.in
blob: 33c64ad92a9fce402bc8590eaf588df38a9a8f9b (
plain
)
1
OPT: /usr/share/man/man1/coqchk.1 /usr/share/man/man1/coqchk.opt.1
