beta2
Enrico Tassi
8 years ago
| 0 | coq (8.5~beta1+dfsg-1) experimental; urgency=medium | |
| 0 | coq (8.5~beta2+dfsg-1) UNRELEASED; urgency=medium | |
| 1 | 1 | |
| 2 | 2 | * New upstream release |
| 3 | 3 | * Add Enrico Tassi to uploaders |
| 7 | 7 | * coq depends on coq-theories binary:Version |
| 8 | 8 | * lintian-overrides for coq-native/*cmx* files (hardening-no-relro) |
| 9 | 9 | |
| 10 | -- Enrico Tassi <gareuselesinge@debian.org> Sun, 25 Jan 2015 13:48:50 +0100 | |
| 10 | -- Enrico Tassi <gareuselesinge@debian.org> Wed, 15 Jul 2015 11:36:30 +0200 | |
| 11 | 11 | |
| 12 | 12 | coq (8.4pl4dfsg-1) unstable; urgency=medium |
| 13 | 13 | |