The following commit has been merged in the squeeze-backports/master branch: commit 2ee61d5995ef572f0124691f10630305a59b4f73 Merge: ba021624830c7ad5df0688d144e4305551ae1a5f de109d8c0c68f569b907e6e24271f259ba28888e Author: Stephane Glondu <st...@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 <glo...@debian.org> Sat, 12 Nov 2011 15:55:18 +0100 ++ -- Stéphane Glondu <glo...@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 <glo...@debian.org> Sun, 25 Dec 2011 13:46:09 +0100 coq (8.3.pl2+dfsg-2) unstable; urgency=low -- coq packaging _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits