diff options
| author |  Stephane Glondu <steph@glondu.net> | 2008-09-08 00:22:55 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2008-09-08 00:22:55 +0200 |
| commit | e9ca8bf54ae638fcab7fac39feec5ca047578d07 (patch) | |
| tree | 341c986795983e8ff265a9db9ea4456f5ef217ea | |
| parent | d8e408268a5d4c59770e5ce02d6c814f751caed3 (diff) | |
Update changelog
| -rw-r--r-- | debian/changelog | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/debian/changelog b/debian/changelog index fdef3f28..622bb41c 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,8 +1,11 @@ coq (8.2~beta4.svn20080907+dfsg-1) UNRELEASED; urgency=low * [113b703] New upstream SVN snapshot + * [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:15:39 +0200 + -- Stephane Glondu <steph@glondu.net> Mon, 08 Sep 2008 00:16:49 +0200 coq (8.2~beta4+dfsg-2) experimental; urgency=low |