Accepted otter 3.3f-1 (source i386)
-----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