Prepare for upload
Julien Puydt
2 years ago
| 0 | coq (8.15.0+dfsg-2) UNRELEASED; urgency=medium | |
| 0 | coq (8.15.0+dfsg-2) unstable; urgency=medium | |
| 1 | 1 | |
| 2 | 2 | * Rework binary packages so they follow more closely |
| 3 | 3 | upstream's view of its "packages". |
| 4 | 4 | |
| 5 | -- Julien Puydt <jpuydt@debian.org> Wed, 02 Feb 2022 13:57:54 +0100 | |
| 5 | -- Julien Puydt <jpuydt@debian.org> Fri, 04 Feb 2022 08:54:41 +0100 | |
| 6 | 6 | |
| 7 | 7 | coq (8.15.0+dfsg-1) unstable; urgency=medium |
| 8 | 8 |