summaryrefslogtreecommitdiff
path: root/debian/libaac-tactics-coq.doc-base.api
Commit message (Expand)AuthorAge
* Update build systemGravatar Stephane Glondu2012-09-21
* Initial packagingGravatar Stephane Glondu2010-11-30