From 7ea6f0085c0c5ba14e846bad255923e505e7b168 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Tue, 27 Mar 2012 07:57:05 +0200 Subject: Update changelog and prepare upload to unstable --- debian/changelog | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'debian/changelog') diff --git a/debian/changelog b/debian/changelog index 05e33857..2dc21b79 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,8 +1,11 @@ -coq (8.3.pl4+dfsg-1) UNRELEASED; urgency=low +coq (8.3.pl4+dfsg-1) unstable; urgency=low * New upstream release + * Replace proofgeneral-coq by proofgeneral in dependencies + * Switch debian/copyright to format 1.0 + * Bump Standards-Version to 3.9.3 - -- Stéphane Glondu Tue, 27 Mar 2012 07:50:16 +0200 + -- Stéphane Glondu Tue, 27 Mar 2012 07:59:07 +0200 coq (8.3.pl3+dfsg-2) unstable; urgency=low -- cgit v1.2.3