summaryrefslogtreecommitdiff
path: root/debian/libaac-tactics-coq.install.in
Commit message (Expand)AuthorAge
* Update packagingGravatar Stephane Glondu2010-12-01
* Initial packagingGravatar Stephane Glondu2010-11-30