Package: formed
Priority: optional
Section: universe/math
Installed-Size: 411
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Peter Collingbourne <pcc03@doc.ic.ac.uk>
Architecture: i386
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_i386.deb
Size: 161038
MD5sum: 0ea62b4efa8b08876cbedd086010a1fc
SHA1: 0ee62b0485a527f041a69c435b41a87eb7df2a36
SHA256: 315f8775f6ba768442f3abe6905aa35556f956810415d502e3ec6190442907b7
Description: formula editor for first-order logic formulae
Description-md5: aa13f669b866573738cbcb8094c4b051
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu