[Pkg-ocaml-maint-commits] [SCM] aac-tactics packaging branch, master, updated. debian/0.2.pl2-2-2-gc0fd5a5
The following commit has been merged in the master branch: commit c0fd5a56cb1fc764b93e4006c79eb41882577abb Author: Stephane Glondu Date: Thu Nov 3 06:42:14 2011 +0100 Prepare upload to unstable diff --git a/debian/changelog b/debian/changelog index db9cc0d..18c6a36 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,10 @@ +aac-tactics (0.2.pl2-3) unstable; urgency=low + + * Recompile with OCaml 3.12.1 (no changes) + * Bump Standards-Version to 3.9.2 (no changes) + + -- Stéphane Glondu Thu, 03 Nov 2011 06:41:57 +0100 + aac-tactics (0.2.pl2-2) unstable; urgency=low * Upload to unstable -- aac-tactics 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] aac-tactics packaging branch, master, updated. debian/0.2.pl2-2-2-gc0fd5a5
The following commit has been merged in the master branch: commit f4db7f07867435d85ab82eb3e6e0b2b800cf1883 Author: Stephane Glondu Date: Thu Nov 3 06:41:35 2011 +0100 Bump Standards-Version to 3.9.2 (no changes) diff --git a/debian/control b/debian/control index b38ebae..cf70410 100644 --- a/debian/control +++ b/debian/control @@ -9,7 +9,7 @@ Build-Depends: ocaml-nox (>= 3.11.1-3~), coq (>= 8.3), libcoq-ocaml-dev -Standards-Version: 3.9.1 +Standards-Version: 3.9.2 Homepage: http://sardes.inrialpes.fr/~braibant/aac_tactics/ Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/aac-tactics.git Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/aac-tactics.git -- aac-tactics 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