diff options
| author |  Stephane Glondu <steph@glondu.net> | 2012-06-05 07:38:34 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2012-06-05 10:12:23 +0200 |
| commit | 509d6d4b58f50b86ca482d49fb6b2fee7fc3dfe9 (patch) | |
| tree | 66f5b4427295f40d532eec5ab3bd2a479863a9d6 | |
| parent | 9ba360bc40800295fd8f706a4d561805c2e4c8db (diff) | |
Prepare upload to experimentaldebian/8.4_gamma0+really8.4beta2+dfsg-1
| -rw-r--r-- | debian/changelog | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/changelog b/debian/changelog index 698bd42f..a67dc785 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,8 +1,8 @@ -coq (8.4~gamma0+really8.4beta2+dfsg-1) UNRELEASED; urgency=low +coq (8.4~gamma0+really8.4beta2+dfsg-1) experimental; urgency=low * New upstream beta release - -- Stéphane Glondu <glondu@debian.org> Mon, 04 Jun 2012 12:26:18 +0200 + -- Stéphane Glondu <glondu@debian.org> Tue, 05 Jun 2012 07:38:25 +0200 coq (8.4~beta+dfsg-4) experimental; urgency=low |