Prepare for upload
Julien Puydt
3 years ago
| 0 | flint-arb (1:2.19.0-1) UNRELEASED; urgency=medium | |
| 0 | flint-arb (1:2.19.0-1) unstable; urgency=medium | |
| 1 | 1 | |
| 2 | 2 | * New upstream release. |
| 3 | 3 | * Bump std-vers to 4.5.1. |
| 4 | 4 | * Make -dev depend on libflint-dev. (Closes: #974598) |
| 5 | 5 | |
| 6 | -- Julien Puydt <jpuydt@debian.org> Tue, 08 Dec 2020 09:01:21 +0100 | |
| 6 | -- Julien Puydt <jpuydt@debian.org> Tue, 08 Dec 2020 09:04:36 +0100 | |
| 7 | 7 | |
| 8 | 8 | flint-arb (1:2.18.1-3) unstable; urgency=medium |
| 9 | 9 |