summaryrefslogtreecommitdiff
path: root/debian/libaac-tactics-coq.install
Commit message (Expand)AuthorAge
* Fail on non-installed files, and install .v filesGravatar Nicolas Braud-Santoni2016-07-31
* Update build systemGravatar Stephane Glondu2012-09-21