| Age | Commit message (Expand) | Author |
|---|---|---|
| 2016-12-01 | all: switch to HTTPS when available | Baptiste Jonglez |
| 2016-11-28 | coq-doc: Use the package version in the tarball name to avoid collisions | Baptiste Jonglez |
| 2015-06-25 | Initial upload: coq-doc 8.4pl6-2 | Baptiste Jonglez |