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.2-1+dfsg.orig.tar.gz.id
blob: 7a1888d12fefdbbc44954ad3315755dd16785ff8 (
plain
)
1
a0a94c1340a63cdb824507b973393882666ba52a