summaryrefslogtreecommitdiff
path: root/debian/coq-libs.install
Commit message (Expand)AuthorAge
* Started to package the upcoming 8.1 release.Gravatar Samuel Mimram2006-04-28
* Updated to OCaml 3.08.3 + small fixes.Gravatar Samuel Mimram2005-03-25
* Minor changes.Gravatar Samuel Mimram2004-07-16
* Getting prepared for the licensing-problems-free 8.0 release of COQ.Gravatar Samuel Mimram2004-07-15