summaryrefslogtreecommitdiff
path: root/debian/libaac-tactics-coq.install
Commit message (Collapse)AuthorAge
* Fail on non-installed files, and install .v filesGravatar Nicolas Braud-Santoni2016-07-31
| | | | Per Stéphane Glondu's comments <579DC270.2040103@debian.org>
* Update build systemGravatar Stephane Glondu2012-09-21