Package: otter Priority: optional Section: universe/math Installed-Size: 1292 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Peter Collingbourne <pcc03@doc.ic.ac.uk> Architecture: amd64 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_amd64.deb Size: 770304 MD5sum: 103d4f843cd23e9bff516b18c4ec61b9 SHA1: 648ab6adbe7b835b5bdb150f87e978d683d8e51d SHA256: 1deb384740c328690e0415338c0d0ee2cc646665e0f4312f2c4ed0a0ba29f761 Description: resolution-style theorem prover Description-md5: 9377d17015337e1e1d1a0fee8b1cd794 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu