diff options
| author |  Stephane Glondu <steph@glondu.net> | 2008-08-08 13:20:02 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2008-08-08 13:20:02 +0200 |
| commit | 1950fa2f34bb93fe514e9035284073221c1cbba6 (patch) | |
| tree | 426a823436d564ae43aed87ef3155452ea99d03e | |
| parent | bd4bb27ee4f66b08434d9a199f00b04ccec34722 (diff) | |
New upstream release
| -rw-r--r-- | debian/changelog | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/changelog b/debian/changelog index 677e23d6..10148c51 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,4 +1,4 @@ -coq (8.2~beta3+dfsg-1) UNRELEASED; urgency=low +coq (8.2~beta4+dfsg-1) UNRELEASED; urgency=low [ Samuel Mimram ] * New upstream release. @@ -15,7 +15,7 @@ coq (8.2~beta3+dfsg-1) UNRELEASED; urgency=low * [7dd7c53] Add debian/README.source * [1c6c7c8] Bump Standards-Version to 3.8.0 - -- Stephane Glondu <steph@glondu.net> Thu, 31 Jul 2008 17:49:13 +0200 + -- Stephane Glondu <steph@glondu.net> Fri, 08 Aug 2008 13:19:03 +0200 coq (8.1.pl3+dfsg-1) unstable; urgency=low |