[Pkg-ocaml-maint-commits] [SCM] coq-doc packaging branch, master, updated. debian/8.3pl2-1-4-g92d7736
The following commit has been merged in the master branch: commit ccb3a85ab9728d6937711d41782b28c8aa943e72 Merge: 3e87e64e6b69dacb981fbe7ca770928ea55f1413 2b84638556d9a5ee36ae21ef29351507c46bbd6b Author: Stephane Glondu st...@glondu.net Date: Tue Jan 3 23:41:42 2012 +0100 Merge commit 'upstream/8.3pl3' -- coq-doc 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
[Pkg-ocaml-maint-commits] [SCM] coq-doc packaging branch, master, updated. debian/8.3pl2-1-4-g92d7736
The following commit has been merged in the master branch: commit 84aab6656c477bbc817bfaf9829f758365538fd2 Author: Stephane Glondu st...@glondu.net Date: Tue Jan 3 23:42:46 2012 +0100 New upstream release diff --git a/debian/changelog b/debian/changelog index 67cae65..6de8ca3 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +coq-doc (8.3pl3-1) UNRELEASED; urgency=low + + * New upstream release + + -- Stéphane Glondu glo...@debian.org Tue, 03 Jan 2012 23:41:56 +0100 + coq-doc (8.3pl2-1) unstable; urgency=low * New upstream release -- coq-doc 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
[Pkg-ocaml-maint-commits] [SCM] coq-doc packaging branch, master, updated. debian/8.3pl2-1-4-g92d7736
The following commit has been merged in the master branch: commit 92d773674c3489e274988c5455c3f5dd50004112 Author: Stephane Glondu st...@glondu.net Date: Tue Jan 3 23:42:57 2012 +0100 Prepare upload to unstable diff --git a/debian/changelog b/debian/changelog index 6de8ca3..26b6812 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,8 +1,8 @@ -coq-doc (8.3pl3-1) UNRELEASED; urgency=low +coq-doc (8.3pl3-1) unstable; urgency=low * New upstream release - -- Stéphane Glondu glo...@debian.org Tue, 03 Jan 2012 23:41:56 +0100 + -- Stéphane Glondu glo...@debian.org Tue, 03 Jan 2012 23:42:48 +0100 coq-doc (8.3pl2-1) unstable; urgency=low -- coq-doc 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