summaryrefslogtreecommitdiff
path: root/debian/README.Debian
Commit message (Expand)AuthorAge
* 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