index
:
debian-coq
master
pristine-tar
upstream
Debian packaging for Coq
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
coq_8.5~beta1+dfsg.orig.tar.gz.id
blob: 5f4f780b59ce2f8b6adae7373a67f1afc87f520b (
plain
)
1
e4197645da03dc3c7cc84e434cc31d0a0cca7056
