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