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.lintian-overrides
blob: 1c84a5d001219deee8cf5738f6cef4fc5041a261 (
plain
)
1
2
# False positive spelling error. coq binary: spelling-error-in-binary usr/bin/coqwc tage stage
