Package: prover9-mace4 Priority: optional Section: universe/math Installed-Size: 325 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Peter Collingbourne <peter@pcc.me.uk> Architecture: all Source: p9m4 Version: 0.5.dfsg-2.1 Depends: python, python-support (>= 0.90.0), python-wxgtk2.8, prover9 (>= 0.0.200712-1) Filename: pool/universe/p/p9m4/prover9-mace4_0.5.dfsg-2.1_all.deb Size: 69258 MD5sum: 5807aeb69f0d742ddbc5a79675e6f6d3 SHA1: b22600a28dbc52a7646f5ead7223c6bf27703340 SHA256: 64a8d83d09ba68700bd8213874972b0a6f97af42b842b25bb2282f4d38312dfe Description: GUI for Prover9 and Mace4 Homepage: http://www.cs.unm.edu/~mccune/mace4/ Description-md5: 564869a43c977f40c9c0a6c95cdfb96f Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu