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 <[EMAIL PROTECTED]>
Changed-By: Ubuntu Archive Auto-Sync <[EMAIL PROTECTED]>
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
--
gutsy-changes mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/gutsy-changes
