The following commit has been merged in the master branch: commit d92fa364e74302da799008647bec22fff16d6351 Author: Mehdi Dogguy <me...@debian.org> Date: Wed May 16 12:46:33 2012 +0200
Bump Standards-Version to 3.9.3, no changes required. diff --git a/debian/changelog b/debian/changelog index de377ba..6335b7d 100644 --- a/debian/changelog +++ b/debian/changelog @@ -2,8 +2,9 @@ why (2.30+dfsg-5) UNRELEASED; urgency=low * Update 0001-Why-2.29-do-support-Coq-8.3.patch - Mark Coq 8.3pl4 as compatible. + * Bump Standards-Version to 3.9.3, no changes required. - -- Mehdi Dogguy <me...@debian.org> Tue, 15 May 2012 13:24:28 +0200 + -- Mehdi Dogguy <me...@debian.org> Wed, 16 May 2012 12:46:14 +0200 why (2.30+dfsg-4) unstable; urgency=high diff --git a/debian/control b/debian/control index 7cc5077..497caf4 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.2 +Standards-Version: 3.9.3 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