The following commit has been merged in the master branch: commit b1f9cb06d2dbc984114627ae33ad87f5dbaf30da Author: Stephane Glondu <st...@glondu.net> Date: Sat Jul 4 14:07:17 2009 +0200
Rebuild with Coq 8.2pl1 diff --git a/debian/changelog b/debian/changelog index b13ff37..c54a8ce 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +coq-float (1:8.2-1.2-3) unstable; urgency=low + + * Rebuild with Coq 8.2pl1 + + -- Stephane Glondu <st...@glondu.net> Sat, 04 Jul 2009 14:06:56 +0200 + coq-float (1:8.2-1.2-2) unstable; urgency=low * Recompile with OCaml 3.11.1 ABI -- coq-float packaging _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits