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.0pl3+8.1beta.orig.tar.gz.id
blob: 38afb6401c6e3caf022aec39a0312324fc0d70e9 (
plain
)
1
e978da8c41d8a3c19a29036d9c569fbe2a4616b0