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.3.pl2.orig.tar.gz.id
blob: d712e2d2a5498e19387543f35336b3bac8739eb8 (
plain
)
1
9d27ae09786866b6e3d7b79d1fa7667e5e2aa309