Log in / Register
Ubuntu
Overview
Code
Bugs
Blueprints
Translations
Answers
Binary package “prover9-doc” in ubuntu lucid
Lucid (10.04)
prover9-doc
No summary available for prover9-doc in ubuntu lucid.
No description available for prover9-doc in ubuntu lucid.
Source package
prover9-manual 0.0.200902a-1 source package in Ubuntu
Published versions
prover9-doc 0.0.200902a-1 in amd64 (Release)
prover9-doc 0.0.200902a-1 in armel (Release)
prover9-doc 0.0.200902a-1 in i386 (Release)
prover9-doc 0.0.200902a-1 in ia64 (Release)
prover9-doc 0.0.200902a-1 in powerpc (Release)
prover9-doc 0.0.200902a-1 in sparc (Release)