diff options
author | Stephane Glondu <steph@glondu.net> | 2009-01-31 17:09:11 +0100 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2009-02-01 00:54:52 +0100 |
commit | 9fb907bf00825cd43c3fd62f0edc26b8e853e0b7 (patch) | |
tree | af0753ac874b0219d52e539d56459ba172c622a7 | |
parent | 9c775561f67ac558c2c408cfa873544e2fea7b0a (diff) |
New upstream release candidate
-rw-r--r-- | debian/changelog | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/debian/changelog b/debian/changelog index 622bb41c..dc614724 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,11 +1,11 @@ -coq (8.2~beta4.svn20080907+dfsg-1) UNRELEASED; urgency=low +coq (8.2~rc2+dfsg-1) UNRELEASED; urgency=low - * [113b703] New upstream SVN snapshot + * New upstream release candidate * [cdce320] Bump debhelper compatibility level to 7 * [b6db9f4] Remove obsolete patches * [d8e4082] Use debhelper 7, simplify debian/rules (Closes: #436684) - -- Stephane Glondu <steph@glondu.net> Mon, 08 Sep 2008 00:16:49 +0200 + -- Stephane Glondu <steph@glondu.net> Sat, 31 Jan 2009 17:07:39 +0100 coq (8.2~beta4+dfsg-2) experimental; urgency=low |