Package: formed Priority: optional Section: universe/math Installed-Size: 412 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Peter Collingbourne <pcc03@doc.ic.ac.uk> Architecture: amd64 Source: otter Version: 3.3f-1.1 Depends: libc6 (>= 2.7), libx11-6, libxaw7, libxt6 Suggests: otter Filename: pool/universe/o/otter/formed_3.3f-1.1_amd64.deb Size: 171394 MD5sum: 1f6f274bc38269fb60f98f102ebaa04a SHA1: e561913f7546186b325ef733fca2a04dd79357a6 SHA256: f7e402a4b738aa65d233b5bb39663dc3ea1922e484c85ec4030e11a9f4f22a5c Description: formula editor for first-order logic formulae Description-md5: aa13f669b866573738cbcb8094c4b051 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu