[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, squeeze-backports/master, updated. debian/8.3.pl3+dfsg-1-3-g2ee61d5
Stephane Glondu
steph at glondu.net
Sun Jan 8 10:01:28 UTC 2012
The following commit has been merged in the squeeze-backports/master branch:
commit 2ee61d5995ef572f0124691f10630305a59b4f73
Merge: ba021624830c7ad5df0688d144e4305551ae1a5f de109d8c0c68f569b907e6e24271f259ba28888e
Author: Stephane Glondu <steph at glondu.net>
Date: Sat Jan 7 17:59:15 2012 +0100
Prepare upload to squeeze-backports
diff --combined debian/changelog
index e5610bf,4ff1a52..2508e17
--- a/debian/changelog
+++ b/debian/changelog
@@@ -1,9 -1,9 +1,16 @@@
- coq (8.3.pl2+dfsg-2~bpo60+1) squeeze-backports; urgency=low
++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 at debian.org> Sat, 12 Nov 2011 15:55:18 +0100
++ -- Stéphane Glondu <glondu at debian.org> Sat, 07 Jan 2012 18:20:49 +0100
++
+ coq (8.3.pl3+dfsg-1) unstable; urgency=low
+
+ * New upstream release
+ - remove all patches (applied upstream)
+
+ -- Stéphane Glondu <glondu at debian.org> Sun, 25 Dec 2011 13:46:09 +0100
coq (8.3.pl2+dfsg-2) unstable; urgency=low
--
coq packaging
More information about the Pkg-ocaml-maint-commits
mailing list