summaryrefslogtreecommitdiff
path: root/debian/coq.install
Commit message (Expand)AuthorAge
* Use debhelper 7, simplify debian/rulesGravatar Stephane Glondu2008-09-08
* Install csdpcertGravatar Stephane Glondu2008-08-08
* Install also *.cm[iox] filesGravatar Stephane Glondu2008-07-28
* New upstream release.Gravatar Samuel Mimram2007-02-13
* Correctly install coqdoc.sty.debian/8.1.gamma-3Gravatar Samuel Mimram2007-02-04
* Started to package the upcoming 8.1 release.Gravatar Samuel Mimram2006-04-28
* Getting ready for the new release.debian/8.0pl3-1Gravatar Samuel Mimram2006-01-19
* Corrected a few problems.Gravatar Samuel Mimram2004-07-16
* Removed coq-interface manpage.Gravatar Samuel Mimram2004-07-16
* Getting prepared for the licensing-problems-free 8.0 release of COQ.Gravatar Samuel Mimram2004-07-15