This is an automated email from the git hooks/post-receive script.
treinen pushed a commit to branch master
in repository why.
commit 72da3c100f08354e1c2ad802d7eb7b51cb68d527
Author: Ralf Treinen <trei...@free.fr>
Date: Sat Oct 1 11:39:15 2016 +0200
close 2 bugs resolved by upstream
---
debian/changelog | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/debian/changelog b/debian/changelog
index cdd9a1f..6edb5d4 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,6 +1,7 @@
why (2.36-1) UNRELEASED; urgency=medium
- * New upstream release:
+ * New upstream release. This version compiles with coq 8.5
+ (Closes: #815684) and drops the gwhy binary (Closes: #440469)
- refreshed patches bprintf and edge
- dropped patch makefile as ocaml warning options are now set
by configure
--
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
