index
:
debian-coq
master
pristine-tar
upstream
Debian packaging for Coq
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
debian
/
source
/
local-options
blob: c4cf4805809b5032aeeab872a212ffb6e0a852db (
plain
)
1
2
abort-on-upstream-changes unapply-patches