[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.4pl2dfsg-1-3-g505d907
The following commit has been merged in the master branch: commit fa585afeaa4165e24d0933711703b1dd248e5f6b Author: Stephane Glondu Date: Fri Jul 26 14:16:26 2013 +0200 Compile with OCaml >= 4 diff --git a/debian/control b/debian/control index d314e2c..019ef60 100644 --- a/debian/control +++ b/debian/control @@ -10,9 +10,9 @@ Standards-Version: 3.9.2 Build-Depends: debhelper (>= 7.2.11~), dh-ocaml (>= 0.9.5~), - ocaml-nox (>= 3.11.1-3~), + ocaml-nox (>= 4), ocaml-best-compilers, - ocaml-findlib, + ocaml-findlib (>= 1.4), camlp5 (>= 5.12-2~), liblablgtk2-ocaml-dev (>= 2.14), texlive-latex-extra, -- 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
[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.4pl2dfsg-1-3-g505d907
The following commit has been merged in the master branch: commit 505d907f147c3dfed60d017a634729661e43cea2 Author: Stephane Glondu Date: Fri Jul 26 14:16:36 2013 +0200 Update changelog and prepare upload to experimental diff --git a/debian/changelog b/debian/changelog index a72430c..1da75cc 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,10 @@ +coq (8.4pl2dfsg-2) experimental; urgency=low + + * Compile with OCaml >= 4 + * Update Vcs-* + + -- Stéphane Glondu Fri, 26 Jul 2013 14:17:30 +0200 + coq (8.4pl2dfsg-1) unstable; urgency=low * New upstream release -- 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
[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.4pl2dfsg-1-3-g505d907
The following commit has been merged in the master branch: commit cfa525d55995c157440085718a5d2d334eef0634 Author: Stephane Glondu Date: Fri Jul 26 14:17:08 2013 +0200 Update Vcs-* diff --git a/debian/control b/debian/control index 019ef60..cf91711 100644 --- a/debian/control +++ b/debian/control @@ -18,8 +18,8 @@ Build-Depends: texlive-latex-extra, hevea (>= 1.10-7) Homepage: http://coq.inria.fr/ -Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/coq.git -Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/coq.git +Vcs-Browser: http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/coq.git +Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/coq.git Package: coq Architecture: any -- 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