The following commit has been merged in the master branch: commit 4b875655d21eca19ad611aa4ba46aaaff96e41d0 Author: Stephane Glondu <st...@glondu.net> Date: Wed May 8 23:27:42 2013 +0200
Bump Standards-Version to 3.9.4 diff --git a/debian/control b/debian/control index e77dc1d..f523d2c 100644 --- a/debian/control +++ b/debian/control @@ -6,7 +6,7 @@ Uploaders: Samuel Mimram <smim...@debian.org>, Stéphane Glondu <glo...@debian.org> Build-Depends: debhelper (>= 7.0.50~), coq (>= 8.3) -Standards-Version: 3.9.2 +Standards-Version: 3.9.4 Homepage: http://lipforge.ens-lyon.fr/www/pff/ Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/coq-float.git Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/coq-float.git -- coq-float 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