summaryrefslogtreecommitdiff
path: root/debian/coq-libs.dirs
Commit message (Expand)AuthorAge
* Rename binary package coq-libs -> coq-theoriesGravatar Stephane Glondu2009-02-01
* Uploading to unstable.debian/8.1+dfsg-3Gravatar Samuel Mimram2007-04-09
* Coq 8.1 becomes trunk.Gravatar Samuel Mimram2007-03-24
* Started to package the upcoming 8.1 release.Gravatar Samuel Mimram2006-04-28