2 files changed, 21 insertions, 2 deletions
diff --git a/debian/changelog b/debian/changelog
index 7e91a3d3..91ce92b7 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -58,6 +58,27 @@ coq (8.4~beta+dfsg-1) experimental; urgency=low
 
  -- Stéphane Glondu <glondu@debian.org>  Thu, 12 Jan 2012 18:53:08 +0100
 
+coq (8.3.pl4+dfsg-2) unstable; urgency=low
+
+  * Recompile with camlp5 6.06 (no changes)
+
+ -- Stéphane Glondu <glondu@debian.org>  Wed, 06 Jun 2012 07:35:26 +0200
+
+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 <glondu@debian.org>  Tue, 27 Mar 2012 07:59:07 +0200
+
+coq (8.3.pl3+dfsg-2) unstable; urgency=low
+
+  * Recompile with camlp5 6.04 (no changes)
+
+ -- Stéphane Glondu <glondu@debian.org>  Sun, 04 Mar 2012 18:59:12 +0100
+
 coq (8.3.pl3+dfsg-1) unstable; urgency=low
 
   * New upstream release
diff --git a/debian/gbp.conf b/debian/gbp.conf
index 68cfceb8..126a7b7a 100644
--- a/debian/gbp.conf
+++ b/debian/gbp.conf
@@ -16,5 +16,3 @@ filter = [
     "doc/rt",
     "doc/tools",
     "doc/tutorial" ]
-upstream-branch=experimental/upstream
-debian-branch=experimental/master