[  hardy  ] [  lucid  ] [  natty  ] [  oneiric  ] [  precise  ] [  quantal  ]

[ Source: otter  ]

Links for formed

Ubuntu Resources:

• Bug Reports
• Ubuntu Changelog
• Copyright File

Download Source Package otter:

• [otter_3.3f-1.1.dsc]
• [otter_3.3f.orig.tar.gz]
• [otter_3.3f-1.1.diff.gz]

Maintainer:

• Ubuntu MOTU Developers (Mail Archive)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainer (usually from Debian):

• Peter Collingbourne

It should generally not be necessary for users to contact the original maintainer.

Similar packages:

• spass
• prover9
• eprover
• eprover-doc-html
• eprover-examples
• minlog
• cvc3
• libcvc3-2-java
• libcvc3-2-jni
• prover9-doc
• libcvc3-2

Other Packages Related to formed

depends

recommends

suggests

• dep: libc6 (>= 2.7)

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc6-udeb

• dep: libx11-6

  X11 client-side library

• dep: libxaw7

  X11 Athena Widget library

• dep: libxt6

  X11 toolkit intrinsics library

• sug: otter

  resolution-style theorem prover

Download formed

Download for all available architectures

Architecture	Package Size	Installed Size	Files
amd64	167.4 kB	412.0 kB	[list of files]
i386	157.3 kB	411.0 kB	[list of files]