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.4~gamma0+really8.4beta2+dfsg.orig.tar.gz.id
blob: d274c948d13ecc838f3e0dbf32185f9cf7462023 (
plain
)
1
57b74c7cbafd705a1ebce7d16cdaec02b704fb44
