summaryrefslogtreecommitdiff
path: root/debian/README.Debian
Commit message (Expand)AuthorAge
* More precise informations in README.DebianGravatar Stephane Glondu2009-07-26
* Update README.Debian (Closes: #538398)Gravatar Stephane Glondu2009-07-25
* Fix typo in README.DebianGravatar Stephane Glondu2008-07-28
* New upstream release: 8.0pl2.debian/8.0pl2-1Gravatar Samuel Mimram2005-01-31
* Getting prepared for the licensing-problems-free 8.0 release of COQ.Gravatar Samuel Mimram2004-07-15