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+dfsg.orig.tar.gz.id
blob: f7416de56d87c53b314133c206764eb358e4e15b (
plain
)
1
da178a880e3ace820b41d38b191d3785b82991f5
