Prepare for upload
Julien Puydt
2 years ago
| 0 | coq (8.14.1+dfsg-1) UNRELEASED; urgency=medium | |
| 0 | coq (8.14.1+dfsg-1) unstable; urgency=medium | |
| 1 | 1 | |
| 2 | 2 | * Ship META in the right package and hence Suggest: ocaml-findlib |
| 3 | 3 | (following OCaml Packaging Policy). |
| 4 | 4 | * New upstream release. |
| 5 | 5 | |
| 6 | -- Julien Puydt <jpuydt@debian.org> Sat, 11 Dec 2021 10:13:31 +0100 | |
| 6 | -- Julien Puydt <jpuydt@debian.org> Sat, 11 Dec 2021 11:46:49 +0100 | |
| 7 | 7 | |
| 8 | 8 | coq (8.14.0+dfsg-6) unstable; urgency=medium |
| 9 | 9 |