namn på paket beskrivningar namn på källkodspaket innehåll i paket alla flaggor

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

[ Källkod: otter  ]

Länkar för otter

Ubunturesurser:

• Felrapporter
• Ändringslogg för Ubuntu
• Upphovsrättsfil

Hämta källkodspaketet otter:

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

Ansvarig:

• Ubuntu MOTU Developers (E-postarkiv)

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.

Liknande paket:

• prover9-doc
• prover9
• libladr4
• ladr4-apps
• libladr-dev
• alt-ergo
• cvc3
• libcvc3-2
• libcvc3-2-dev
• matita
• matita-doc

Andra paket besläktade med otter

beror

rekommenderar

föreslår

• dep: libc6 (>= 2.7)

  Embedded GNU C Library: Shared libraries
  också ett virtuellt paket som tillhandahålls av libc6-udeb

• rec: c-shell

  virtuellt paket som tillhandahålls av csh, tcsh

• rec: mace2

  program that searches for finite models of first-order statements

• rec: perl

  Larry Wall's Practical Extraction and Report Language

• sug: formed

  formula editor for first-order logic formulae

Hämta otter

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Paketstorlek	Installerad storlek	Filer
amd64	752,3 kbyte	1.292,0 kbyte	[filförteckning]
i386	745,3 kbyte	1.291,0 kbyte	[filförteckning]