This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository why.
commit 8698f7bc248e270f99d6755ae51e93117f7bdd41 Author: Ralf Treinen <trei...@free.fr> Date: Sun Jan 19 18:23:41 2014 +0100 close bug #707585 (FTBFS) --- debian/changelog | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/debian/changelog b/debian/changelog index ae76300..ad2c0a2 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,6 +1,7 @@ why (2.33-1) unstable; urgency=low - * New upstream release. + * New upstream release. This fixes an issue with compilation under + ocaml-4.01 (closes: #707585). Drop patches adopted or otherwise fixed by upstream: - 0001-Why-2.29-do-support-Coq-8.3.patch - 0002-Mark-alt-ergo-0.93-as-compatible.patch -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/why.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