tags 645569 + patch
tags 645569 + pending
thanks
Dear maintainer,
I've prepared an NMU for p9m4 (versioned as 0.5.dfsg-2.1) and
uploaded it to DELAYED/10. Please feel free to tell me if I
should delay it longer.
Cheers,
Olly
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,13 @@
+p9m4 (0.5.dfsg-2.1) unstable; urgency=low
+
+ * Non-maintainer upload.
+ * Update to suggest python-wxgtk2.8 rather than python-wxgtk2.6 - should
+ be a low risk change, as with default alternatives 2.8 will already get
+ used if installed, and 2.8 has twice as many installs according to popcon.
+ (Closes: #645569)
+
+ -- Olly Betts <o...@survex.com> Thu, 24 Nov 2011 04:25:46 +0000
+
p9m4 (0.5.dfsg-2) unstable; urgency=low
[ Sandro Tosi ]
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.6, prover9 (>= 0.0.200712-1)
+Depends: ${python:Depends}, ${misc:Depends}, python-wxgtk2.8, 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
