Debian logo Quality Assurance

dak ls

 prover9-manual | 0.0.200902a-2   | jessie   | source
 prover9-manual | 0.0.200902a-2   | stretch  | source
 prover9-manual | 0.0.200902a-2   | buster   | source
 prover9-manual | 0.0.200902a-2.1 | bullseye | source
 prover9-manual | 0.0.200902a-2.1 | bookworm | source
 prover9-manual | 0.0.200902a-2.1 | trixie   | source
 prover9-manual | 0.0.200902a-2.1 | sid      | source

in
Show: More options, help