summaryrefslogtreecommitdiff
path: root/debian/coq-theories.doc-base
Commit message (Collapse)AuthorAge
* Rename binary package coq-libs -> coq-theoriesGravatar Stephane Glondu2009-02-01
Rationale: the name coq-libs is rather confusing for the contents of this package. There is no doubt on the contents of the package with coq-theories.