The following commit has been merged in the master branch: commit 99b9567e218f84069ce41f56bef4aa4327bdd68d Author: Mehdi Dogguy <me...@debian.org> Date: Mon Jan 2 15:39:20 2012 +0100
Bump Standards-Version to 3.9.2, no changes needed. diff --git a/debian/changelog b/debian/changelog index 7a50c15..2255c6b 100644 --- a/debian/changelog +++ b/debian/changelog @@ -7,8 +7,9 @@ why (2.30+dfsg-1) unstable; urgency=low - add 0005-Fix-Jc_annot_inference-use-old_reg_pos.patch * Add (back) Build-Depends on coq-float. * Bump build requirement for frama-c to 20111001+nitrogen+dfsg-1~. + * Bump Standards-Version to 3.9.2, no changes needed. - -- Mehdi Dogguy <me...@debian.org> Thu, 08 Dec 2011 16:52:00 +0100 + -- Mehdi Dogguy <me...@debian.org> Mon, 02 Jan 2012 15:38:55 +0100 why (2.29+dfsg-4) unstable; urgency=low diff --git a/debian/control b/debian/control index 8f990a7..6bdc5ed 100644 --- a/debian/control +++ b/debian/control @@ -19,7 +19,7 @@ Build-Depends: frama-c-base (>= 20111001+nitrogen+dfsg-1~), libapron-ocaml-dev (>= 0.9.10-4~), camlidl -Standards-Version: 3.9.0 +Standards-Version: 3.9.2 Homepage: http://why.lri.fr/ Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/why.git Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/why.git -- why 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