[Python-apps-commits] r564 - in packages/p9m4/trunk/debian (control)

[pcc-guest at users.alioth.debian.org]

    Date: Thursday, January 24, 2008 @ 19:34:50
  Author: pcc-guest
Revision: 564

debian/control: reorganising dependencies - prover9 and mace4 packages merged into one

Modified:
  packages/p9m4/trunk/debian/control

Modified: packages/p9m4/trunk/debian/control
===================================================================
--- packages/p9m4/trunk/debian/control	2008-01-23 10:20:39 UTC (rev 563)
+++ packages/p9m4/trunk/debian/control	2008-01-24 19:34:50 UTC (rev 564)
@@ -11,7 +11,7 @@
 
 Package: prover9-mace4
 Architecture: all
-Depends: ${python:Depends}, python-wxgtk2.6, prover9 (>= 0.0.200712-1), mace4 (>= 0.0.200712-1)
+Depends: ${python:Depends}, python-wxgtk2.6, 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