summaryrefslogtreecommitdiff
path: root/debian/copyright
Commit message (Expand)AuthorAge
* Converted copyright to utf8.debian/8.1+dfsg-1Gravatar Samuel Mimram2007-02-13
* Better handling of arch-indep packages.Gravatar Samuel Mimram2005-02-01
* Getting ready for an upload to experimental.Gravatar Samuel Mimram2004-07-21
* Getting prepared for the licensing-problems-free 8.0 release of COQ.Gravatar Samuel Mimram2004-07-15