[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.30+dfsg-4-2-gd92fa36
Mehdi Dogguy
mehdi at debian.org
Wed May 16 10:54:27 UTC 2012
The following commit has been merged in the master branch:
commit d92fa364e74302da799008647bec22fff16d6351
Author: Mehdi Dogguy <mehdi at 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 <mehdi at debian.org> Tue, 15 May 2012 13:24:28 +0200
+ -- Mehdi Dogguy <mehdi at 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
More information about the Pkg-ocaml-maint-commits
mailing list