-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Sun, 5 Nov 2006 22:42:36 +0000 Source: otter Binary: otter mace2 formed Architecture: source i386 Version: 3.3f-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne <pcc03@doc.ic.ac.uk> Changed-By: Peter Collingbourne <pcc03@doc.ic.ac.uk> Description: formed - formula editor for first-order logic formulae mace2 - program that searches for finite models of first-order statements otter - resolution-style theorem prover Closes: 397257 Changes: otter (3.3f-1) unstable; urgency=low . * Initial release (Closes: #397257) * Fixed broken Makefiles * Wrote manpages * examples/Loop/otter-ploop, examples/summary: Fixed broken interpreter path Files: 28b271b45c5825e05504d7e5578591bc 589 math optional otter_3.3f-1.dsc 795711b307cc1316e08d3d4f46c998c9 2554827 math optional otter_3.3f.orig.tar.gz c882f71fa5e5d8e2cd444de216cc9cf6 7134 math optional otter_3.3f-1.diff.gz 55bdee9ce191c3cbe86f71cc2183257a 761570 math optional otter_3.3f-1_i386.deb 758314d19e96d3ca22305f74fd1d30b0 508304 math optional mace2_3.3f-1_i386.deb ccc52c5fe91ed06ee18ddfc881c7f9fb 157358 math optional formed_3.3f-1_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFFnCH2+C5cwEsrK54RAnULAJsEIO0xX39Hb2swhqxUA2CsC3q2pwCgurkF PyqzNg1JRPfnL/6CdV6/JkM= =Ipw4 -----END PGP SIGNATURE----- Accepted: formed_3.3f-1_i386.deb to pool/main/o/otter/formed_3.3f-1_i386.deb mace2_3.3f-1_i386.deb to pool/main/o/otter/mace2_3.3f-1_i386.deb otter_3.3f-1.diff.gz to pool/main/o/otter/otter_3.3f-1.diff.gz otter_3.3f-1.dsc to pool/main/o/otter/otter_3.3f-1.dsc otter_3.3f-1_i386.deb to pool/main/o/otter/otter_3.3f-1_i386.deb otter_3.3f.orig.tar.gz to pool/main/o/otter/otter_3.3f.orig.tar.gz
