Package: p9m4
Version: 0.5.dfsg-2.1
Severity: important
Tags: patch sid jessie
User: freewx-ma...@lists.alioth.debian.org
Usertags: wxpy3.0
Control: block 755757 by -1
We're aiming to migrate the archive to using wxpython3.0 instead of
wxwidgets2.8, and hope to drop wxwidgets2.8 before jessie is released.
I've rebuilt p9m4 with the attached patch to just update its
dependencies and it seems to work fine.
I'm happy to NMU these changes.
Cheers,
Olly
diff -u p9m4-0.5.dfsg/debian/control p9m4-0.5.dfsg/debian/control
--- p9m4-0.5.dfsg/debian/control
+++ p9m4-0.5.dfsg/debian/control
@@ -13,7 +13,7 @@
Package: prover9-mace4
Architecture: all
-Depends: ${python:Depends}, ${misc:Depends}, python-wxgtk2.8, prover9 (>= 0.0.200712-1)
+Depends: ${python:Depends}, ${misc:Depends}, python-wxgtk3.0, prover9 (>= 0.0.200712-1)
Description: GUI for Prover9 and Mace4
This package provides a graphical user interface for easily running
the Prover9 theorem prover and the Mace4 countermodel generator
diff -u p9m4-0.5.dfsg/debian/changelog p9m4-0.5.dfsg/debian/changelog
--- p9m4-0.5.dfsg/debian/changelog
+++ p9m4-0.5.dfsg/debian/changelog
@@ -1,3 +1,10 @@
+p9m4 (0.5.dfsg-2.2) unstable; urgency=medium
+
+ * Non-maintainer upload.
+ * Update to depend on python-wxgtk3.0 rather than python-wxgtk2.8.
+
+ -- Olly Betts <o...@survex.com> Mon, 18 Aug 2014 21:53:23 +1200
+
p9m4 (0.5.dfsg-2.1) unstable; urgency=low
* Non-maintainer upload.
