[  hardy  ] [  intrepid  ] [  jaunty  ] [  karmic  ] [  lucid  ]

[ Paquet source : otter  ]

Liens pour formed

Ressources Ubuntu :

• Rapports de bogues
• Journal des modifications Ubuntu
• Fichier de licence

Télécharger le paquet source otter :

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

Responsable :

• Ubuntu MOTU Developers (Archive du courrier électronique)

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.

Paquets similaires :

• minlog
• prover9
• pyroom
• libhttp-ocaml-dev
• libjmathtex-java
• libjmathtex-java-gcj
• filterproxy
• libjmathtex-java-doc
• mona
• eprover
• eprover-doc-html

Autres paquets associés à formed

dépendances

recommandations

suggestions

• dep: libc6 (>= 2.5-5)

  bibliothèque C GNU : bibliothèques partagées
  un paquet virtuel est également fourni par 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

Télécharger formed

Télécharger pour toutes les architectures proposées

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	174,7 ko	412 ko	[liste des fichiers]
i386	151,5 ko	368 ko	[liste des fichiers]