Control: tags 758507 + pending
Dear maintainer,
I've prepared an NMU for p9m4 (versioned as 0.5.dfsg-2.2) and
uploaded it to DELAYED/5. Please feel free to tell me if I
should delay it longer.
This is the same as the nmudiff I sent previously, except I've
added the bug# and bumped the date in the debian/changelog entry.
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,11 @@
+p9m4 (0.5.dfsg-2.2) unstable; urgency=medium
+
+ * Non-maintainer upload.
+ * Update to depend on python-wxgtk3.0 rather than python-wxgtk2.8.
+ (Closes: #758507)
+
+ -- Olly Betts <[email protected]> Sat, 30 Aug 2014 15:56:58 +0000
+
p9m4 (0.5.dfsg-2.1) unstable; urgency=low
* Non-maintainer upload.
