summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--debian/changelog7
-rw-r--r--debian/gbp.conf2
2 files changed, 9 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog
index 4ff1a521..2508e173 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+coq (8.3.pl3+dfsg-1~bpo60+1) squeeze-backports; urgency=low
+
+ * Backport to Squeeze
+ * Downgrade versioned build-dependency to liblablgtk2-ocaml-dev
+
+ -- Stéphane Glondu <glondu@debian.org> Sat, 07 Jan 2012 18:20:49 +0100
+
coq (8.3.pl3+dfsg-1) unstable; urgency=low
* New upstream release
diff --git a/debian/gbp.conf b/debian/gbp.conf
index cec628c7..5a115618 100644
--- a/debian/gbp.conf
+++ b/debian/gbp.conf
@@ -1,2 +1,4 @@
[DEFAULT]
pristine-tar = True
+upstream-branch = squeeze-backports/upstream
+debian-branch = squeeze-backports/master