Prepare upload to unstable
Stephane Glondu
9 years ago
| 0 | coq (8.4pl4dfsg-1) UNRELEASED; urgency=medium | |
| 0 | coq (8.4pl4dfsg-1) unstable; urgency=medium | |
| 1 | 1 | |
| 2 | 2 | * New upstream release (Closes: #755953) |
| 3 | 3 | * Switch debian/copyright to Format 1.0 |
| 4 | 4 | * Bump Standards-Version to 3.9.5 |
| 5 | 5 | * Bump debhelper compat level to 9 |
| 6 | 6 | |
| 7 | -- Stéphane Glondu <glondu@debian.org> Sun, 27 Jul 2014 10:03:03 +0200 | |
| 7 | -- Stéphane Glondu <glondu@debian.org> Sun, 27 Jul 2014 15:25:03 +0200 | |
| 8 | 8 | |
| 9 | 9 | coq (8.4pl3dfsg-1) unstable; urgency=medium |
| 10 | 10 |