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

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

    Date: Sunday, January 20, 2008 @ 19:48:34
  Author: pcc-guest
Revision: 549

Removed dependency as a result of reorganising the ladr source package

Modified:
  packages/p9m4/trunk/debian/control

Modified: packages/p9m4/trunk/debian/control
===================================================================
--- packages/p9m4/trunk/debian/control	2008-01-20 17:37:44 UTC (rev 548)
+++ packages/p9m4/trunk/debian/control	2008-01-20 19:48:34 UTC (rev 549)
@@ -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), ladr4-apps (>= 0.0.200712-1)
+Depends: ${python:Depends}, python-wxgtk2.6, prover9 (>= 0.0.200712-1), mace4 (>= 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