Log in / Register
Ubuntu
Overview
Code
Bugs
Blueprints
Translations
Answers
Binary package “prover9” in ubuntu oneiric
Oneiric (11.10)
prover9
No summary available for prover9 in ubuntu oneiric.
No description available for prover9 in ubuntu oneiric.
Source package
ladr 0.0.200902a-2 source package in Ubuntu
Published versions
prover9 0.0.200902a-2 in amd64 (Release)
prover9 0.0.200902a-2 in armel (Release)
prover9 0.0.200902a-2 in i386 (Release)
prover9 0.0.200902a-2 in powerpc (Release)