summaryrefslogtreecommitdiff
path: root/debian/docs
Commit message (Collapse)AuthorAge
* s/CHANGES/CHANGES.md/Gravatar Benjamin Barenblat2019-02-05
| | | | Upstream has switched to Markdown for their CHANGES file.
* Install upstream’s CHANGESGravatar Benjamin Barenblat2019-01-03
|
* Coq 8.6debian/8.6-1Gravatar Enrico Tassi2016-12-28
|
* Versionned the dependency to ocaml-base-nox, added enhanced manpages.Gravatar Samuel Mimram2004-08-19
|
* Getting prepared for the licensing-problems-free 8.0 release of COQ.Gravatar Samuel Mimram2004-07-15