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.9.0.orig.tar.gz.id
blob: 57f1db2e5ba9d46a5212e34b596e4ec7238a3769 (
plain
)
1
bf5e06a28488e0e06a2f2011ff0d110e2e02f8fc