From 7a998985060742038ba6d2664d159ff2dbcdec3d Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Thu, 1 Jul 2010 17:40:12 +0200 Subject: Update changelog and prepare upload to unstable --- debian/changelog | 14 +++++++++++--- 1 file changed, 11 insertions(+), 3 deletions(-) (limited to 'debian/changelog') diff --git a/debian/changelog b/debian/changelog index 9e1c6aa0..beef4fb5 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,9 +1,17 @@ -coq (8.2.pl2+dfsg-1) UNRELEASED; urgency=low +coq (8.2.pl2+dfsg-1) unstable; urgency=low - * New upstream release (Closes: #585452) + * New upstream release + - compiles with OCaml 3.12 (Closes: #585452) - remove 0001-Update-for-why-2.19.patch (applied upstream) + - add 0002-Remove-dependency-to-Unix-from-module-Profile.patch + * Use dh with overrides + * debian/control: + - remove Stefano and Remi from Uploaders + - replace Conflicts with Breaks + - bump Standards-Version to 3.9.0 + * Switch source package format to 3.0 (quilt) - -- Stéphane Glondu Thu, 01 Jul 2010 17:25:52 +0200 + -- Stéphane Glondu Fri, 02 Jul 2010 15:25:15 +0200 coq (8.2.pl1+dfsg-6) unstable; urgency=low -- cgit v1.2.3