This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository coq-float.
commit 2ac7c484b2919b3e2620ca02538694444ff8621f Author: Stephane Glondu <st...@glondu.net> Date: Mon Jan 20 07:44:12 2014 +0100 Update changelog and prepare upload to unstable --- debian/changelog | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/debian/changelog b/debian/changelog index a1962c1..b3a8bbe 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,11 @@ +coq-float (1:8.4-3) unstable; urgency=medium + + * Recompile with coq 8.4pl3 + * Bump Standards-Version to 3.9.5 (no changes) + * Update Vcs-* + + -- Stéphane Glondu <glo...@debian.org> Mon, 20 Jan 2014 07:44:07 +0100 + coq-float (1:8.4-2) unstable; urgency=low * Recompile with OCaml 4.01.0 -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/coq-float.git _______________________________________________ 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