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.8.2.orig.tar.gz.id
blob: be1adf3dc19d410f068221b234b2a228518d874c (
plain
)
1
2b0092c84bfbf718eca10c81f60b2640dc8cab05