summaryrefslogtreecommitdiff
path: root/debian/compat
Commit message (Expand)AuthorAge
* Bump debhelper compatibility level to 7Gravatar Stephane Glondu2008-09-08
* Working bytecode fallback.Gravatar Samuel Mimram2004-07-18
* Getting prepared for the licensing-problems-free 8.0 release of COQ.Gravatar Samuel Mimram2004-07-15