[Pkg-ocaml-maint-commits] [SCM] ssreflect packaging branch, master, updated. debian/1.4-1-3-g41c0c80
The following commit has been merged in the master branch: commit 41c0c80571339eb39ad83bbed3920997b5362be5 Author: Stephane Glondu Date: Thu May 9 13:36:50 2013 +0200 Update changelog and prepare upload to unstable diff --git a/debian/changelog b/debian/changelog index 60f86f4..0ce7577 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,11 @@ +ssreflect (1.4-2) unstable; urgency=low + + * Bump debhelper compat level to 8 + * Bump Standards-Version to 3.9.4 + * Upload to unstable + + -- Stéphane Glondu Thu, 09 May 2013 13:36:48 +0200 + ssreflect (1.4-1) experimental; urgency=low * New upstream release -- ssreflect 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] ssreflect packaging branch, master, updated. debian/1.4-1-3-g41c0c80
The following commit has been merged in the master branch: commit 9e3601d979a37e89b7974000d60712ef6744ea92 Author: Stephane Glondu Date: Thu May 9 13:36:18 2013 +0200 Bump Standards-Version to 3.9.4 diff --git a/debian/control b/debian/control index 6c6c11c..e857357 100644 --- a/debian/control +++ b/debian/control @@ -10,7 +10,7 @@ Build-Depends: camlp5 (>= 5.12-2~), ocaml-best-compilers, ocaml-nox (>= 3.11.1-3~) -Standards-Version: 3.9.3 +Standards-Version: 3.9.4 Section: math Homepage: http://www.msr-inria.inria.fr/Projects/math-components Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/ssreflect.git -- ssreflect 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] ssreflect packaging branch, master, updated. debian/1.4-1-3-g41c0c80
The following commit has been merged in the master branch: commit 1d0b8807f84824672355e733b5c7c99a20f07de4 Author: Stephane Glondu Date: Thu May 9 13:36:06 2013 +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 236918d..6c6c11c 100644 --- a/debian/control +++ b/debian/control @@ -3,7 +3,7 @@ Priority: optional Maintainer: Debian OCaml Maintainers Uploaders: Stéphane Glondu Build-Depends: - debhelper (>= 7.0.50~), + debhelper (>= 8), coq (>= 8.4), libcoq-ocaml-dev (>= 8.4), dh-ocaml (>= 0.9~), diff --git a/debian/rules b/debian/rules index f6c3c33..f5833c1 100755 --- a/debian/rules +++ b/debian/rules @@ -19,7 +19,7 @@ endif EXTRA_FILES := src/ssrmatching.cmi src/ssreflect.cmi %: - +dh --with ocaml $@ + +dh $@ --with ocaml .PHONY: override_dh_auto_build override_dh_auto_build: -- ssreflect 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