Package: otter
Priority: optional
Section: universe/math
Installed-Size: 1291
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Peter Collingbourne <pcc03@doc.ic.ac.uk>
Architecture: i386
Version: 3.3f-1.1
Depends: libc6 (>= 2.7)
Recommends: perl, c-shell, mace2
Suggests: formed
Filename: pool/universe/o/otter/otter_3.3f-1.1_i386.deb
Size: 763214
MD5sum: 4bf04bf4ef0335a7ad291f0000c86db8
SHA1: 6915cb8530b6f9911bd40340d093caa2f9647a10
SHA256: dc26fb9e533f308e9d2556ad7779df2af5ec2420685c4713bb1f91697626668c
Description: resolution-style theorem prover
Description-md5: 9377d17015337e1e1d1a0fee8b1cd794
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu