package names descriptions source package names package contents all options

[  lucid  ] [  precise  ] [  quantal  ] [  raring  ]

[ Source: otter  ]

Links for mace2

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:

• prover9
• prover9-doc
• libfacile-ocaml-dev
• syfi-doc
• python-fiat
• eprover
• eprover-doc-html
• eprover-examples
• hmmer
• deal.ii-doc
• libdeal.ii-dbg

Other Packages Related to mace2

depends

recommends

suggests

• dep: libc6 (>= 2.7)

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

• rec: c-shell

  virtual package provided by csh, tcsh

• rec: otter

  resolution-style theorem prover

• rec: perl

  Larry Wall's Practical Extraction and Report Language

• sug: swi-prolog

  ISO/Edinburgh-style Prolog interpreter

  or gprolog

  GNU Prolog compiler

Download mace2

Download for all available architectures

Architecture	Package Size	Installed Size	Files
i386	516.8 kB	1,135.0 kB	[list of files]