[Pkg-ocaml-maint-commits] [SCM] coq-doc packaging branch, master, updated. debian/8.2pl1-1-15-g3e87e64
The following commit has been merged in the master branch: commit f4f82b969faa55a9d63120f41b5c2d0b88562d89 Merge: 6a5c0e609dd10f1f19ab7a03e69a45ec25280b17 59ca2432a2d477fd8efe07c23f422784ef94fad7 Author: Stephane Glondu st...@glondu.net Date: Fri May 6 10:32:25 2011 +0200 Merge commit 'upstream/8.3pl2' -- coq-doc packaging ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [SCM] coq-doc packaging branch, master, updated. debian/8.2pl1-1-15-g3e87e64
The following commit has been merged in the master branch: commit a6c1eb9a8c9f61142d909816f642df8a98802136 Author: Stephane Glondu st...@glondu.net Date: Fri May 6 10:33:01 2011 +0200 New upstream realease diff --git a/debian/changelog b/debian/changelog index 6baa31a..5a27862 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,8 +1,9 @@ -coq-doc (8.2pl1-2) UNRELEASED; urgency=low +coq-doc (8.3pl2-1) UNRELEASED; urgency=low + * New upstream release * Make dependencies of coq-doc versioned - -- Stéphane Glondu glo...@debian.org Fri, 08 Jan 2010 12:10:30 +0100 + -- Stéphane Glondu glo...@debian.org Fri, 06 May 2011 10:32:34 +0200 coq-doc (8.2pl1-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/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [SCM] coq-doc packaging branch, master, updated. debian/8.2pl1-1-15-g3e87e64
The following commit has been merged in the master branch: commit 4c83e1593af2eac1e7489291f64e0f02c647dc19 Author: Stephane Glondu st...@glondu.net Date: Fri May 6 10:35:26 2011 +0200 Bump debhelper compat level to 8 diff --git a/debian/compat b/debian/compat index 7f8f011..45a4fb7 100644 --- a/debian/compat +++ b/debian/compat @@ -1 +1 @@ -7 +8 diff --git a/debian/control b/debian/control index 01afe18..464f747 100644 --- a/debian/control +++ b/debian/control @@ -6,7 +6,7 @@ Uploaders: Samuel Mimram smim...@debian.org, Stéphane Glondu glo...@debian.org Standards-Version: 3.8.3 -Build-Depends: debhelper (= 7.0.50~) +Build-Depends: debhelper (= 8) Build-Depends-Indep: texlive, texlive-base, -- coq-doc packaging ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [SCM] coq-doc packaging branch, master, updated. debian/8.2pl1-1-15-g3e87e64
The following commit has been merged in the master branch: commit d37ece4199aab9403089a9594add31c6e8daa9bb Author: Stephane Glondu st...@glondu.net Date: Fri May 6 10:35:39 2011 +0200 Bump Standards-Version to 3.9.2 diff --git a/debian/control b/debian/control index 464f747..a7176a5 100644 --- a/debian/control +++ b/debian/control @@ -5,7 +5,7 @@ Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Uploaders: Samuel Mimram smim...@debian.org, Stéphane Glondu glo...@debian.org -Standards-Version: 3.8.3 +Standards-Version: 3.9.2 Build-Depends: debhelper (= 8) Build-Depends-Indep: texlive, -- coq-doc packaging ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [SCM] coq-doc packaging branch, master, updated. debian/8.2pl1-1-15-g3e87e64
The following commit has been merged in the master branch: commit 947e59d2c98c77f4c79a8744ca75266ba082205f Author: Stephane Glondu st...@glondu.net Date: Fri May 6 10:35:50 2011 +0200 Add local-options diff --git a/debian/source/local-options b/debian/source/local-options new file mode 100644 index 000..c4cf480 --- /dev/null +++ b/debian/source/local-options @@ -0,0 +1,2 @@ +abort-on-upstream-changes +unapply-patches -- coq-doc packaging ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [SCM] coq-doc packaging branch, master, updated. debian/8.2pl1-1-15-g3e87e64
The following commit has been merged in the master branch: commit 3e87e64e6b69dacb981fbe7ca770928ea55f1413 Author: Stephane Glondu st...@glondu.net Date: Fri May 6 10:37:22 2011 +0200 Update changelog and prepare upload to unstable diff --git a/debian/changelog b/debian/changelog index 5a27862..67cae65 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,9 +1,11 @@ -coq-doc (8.3pl2-1) UNRELEASED; urgency=low +coq-doc (8.3pl2-1) unstable; urgency=low * New upstream release * Make dependencies of coq-doc versioned + * Bump debhelper compat level to 8 + * Bump Standards-Version to 3.9.2 - -- Stéphane Glondu glo...@debian.org Fri, 06 May 2011 10:32:34 +0200 + -- Stéphane Glondu glo...@debian.org Fri, 06 May 2011 10:36:59 +0200 coq-doc (8.2pl1-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/mailman/listinfo/pkg-ocaml-maint-commits