Accepted otter 3.3f-1 (source)

[Ubuntu Installer]

Accepted:
otter 3.3f-1 was ACCEPTED.
	Component: universe Section: math

Origin: Debian/unstable
Format: 1.7
Date: Wed,  02 May 2007 14:13:24 +0100
Source: otter
Binary: otter, mace2, formed
Architecture: source
Version: 3.3f-1
Distribution: gutsy
Urgency: low
Maintainer: Peter Collingbourne <pcc03 at doc.ic.ac.uk>
Changed-By: Ubuntu Archive Auto-Sync <archive at ubuntu.com>
Description: 
 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: 
 c882f71fa5e5d8e2cd444de216cc9cf6 7134 math optional otter_3.3f-1.diff.gz
 795711b307cc1316e08d3d4f46c998c9 2554827 math optional otter_3.3f.orig.tar.gz
 28b271b45c5825e05504d7e5578591bc 589 math optional otter_3.3f-1.dsc