Log in / Register
Ubuntu
Overview
Code
Bugs
Blueprints
Translations
Answers
Binary package “prover9” in ubuntu maverick
Maverick (10.10)
prover9
No summary available for prover9 in ubuntu maverick.
No description available for prover9 in ubuntu maverick.
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)