[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, experimental/master, updated. debian/8.3.rc1+dfsg-1-7-g0fa28b8
Stephane Glondu
steph at glondu.net
Sat Oct 16 09:46:44 UTC 2010
The following commit has been merged in the experimental/master branch:
commit c1f487a0bc3ef2093f9ed76f6224b6ff51889268
Author: Stephane Glondu <steph at glondu.net>
Date: Sat Oct 16 09:54:49 2010 +0200
Bump Standards-Version to 3.9.1 (no changes)
diff --git a/debian/control b/debian/control
index 5aed7fc..cc64c1b 100644
--- a/debian/control
+++ b/debian/control
@@ -6,7 +6,7 @@ Uploaders:
Ralf Treinen <treinen at debian.org>,
Samuel Mimram <smimram at debian.org>,
Stéphane Glondu <glondu at debian.org>
-Standards-Version: 3.9.0
+Standards-Version: 3.9.1
Build-Depends:
debhelper (>= 7.2.11~),
dh-ocaml (>= 0.9.5~),
--
coq packaging
More information about the Pkg-ocaml-maint-commits
mailing list