diff options
| author |  Stephane Glondu <steph@glondu.net> | 2012-01-12 18:53:24 +0100 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2012-01-12 19:32:36 +0100 |
| commit | 740160e590c78840860ee145a0260952507992dc (patch) | |
| tree | a8a311fba0ec92f45e3940d2268fdf6f94857f42 | |
| parent | 4ac272f0121ba8f3ab48a18c8225b44b03bba4f7 (diff) | |
Prepare upload to experimentaldebian/8.4_beta+dfsg-1
| -rw-r--r-- | debian/changelog | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/changelog b/debian/changelog index c3da9fbf..23e20ced 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,8 +1,8 @@ -coq (8.4~beta+dfsg-1) UNRELEASED; urgency=low +coq (8.4~beta+dfsg-1) experimental; urgency=low * New upstream beta release - -- Stéphane Glondu <glondu@debian.org> Thu, 12 Jan 2012 16:09:13 +0100 + -- Stéphane Glondu <glondu@debian.org> Thu, 12 Jan 2012 18:53:08 +0100 coq (8.3.pl3+dfsg-1) unstable; urgency=low |