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 /debian | |
parent | d8e408268a5d4c59770e5ce02d6c814f751caed3 (diff) |
Update changelog
Diffstat (limited to 'debian')
-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 |