Prepare for upload
Julien Puydt
2 years ago
| 0 | coq (8.14.0+dfsg-2) UNRELEASED; urgency=medium | |
| 0 | coq (8.14.0+dfsg-2) experimental; urgency=medium | |
| 1 | 1 | |
| 2 | 2 | * Add myself to uploaders. |
| 3 | 3 | * Bump standards-version to 4.6.0. |
| 12 | 12 | * Remove debian-shipped coqide.1 -- now upstream. |
| 13 | 13 | * Add lintian overrides for long lines is source code. |
| 14 | 14 | |
| 15 | -- Julien Puydt <jpuydt@debian.org> Mon, 08 Nov 2021 08:34:01 +0100 | |
| 15 | -- Julien Puydt <jpuydt@debian.org> Thu, 11 Nov 2021 17:40:04 +0100 | |
| 16 | 16 | |
| 17 | 17 | coq (8.14.0+dfsg-1) experimental; urgency=medium |
| 18 | 18 | |