From e9ca8bf54ae638fcab7fac39feec5ca047578d07 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Mon, 8 Sep 2008 00:22:55 +0200 Subject: Update changelog --- debian/changelog | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'debian') 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 Mon, 08 Sep 2008 00:15:39 +0200 + -- Stephane Glondu Mon, 08 Sep 2008 00:16:49 +0200 coq (8.2~beta4+dfsg-2) experimental; urgency=low -- cgit v1.2.3