index
:
debian-aac-tactics
master
pristine-tar
upstream
Debian packaging for aac-tactics
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
debian
/
libaac-tactics-coq.install
blob: ea6c2046c13751d40489ec9f4bac8cefb361181b (
plain
)
1
2
/usr/lib/coq/user-contrib/AAC_tactics/*.vo html/* /usr/share/doc/libaac-tactics-coq/theories