Package: prover9-manual

• 0.0.200902a-2.1 (main) [bullseye, bookworm]
• 0.0.200902a-2 (main) [jessie, stretch, buster, jessie-kfreebsd]
• 0.0.200902a-1 (main) [squeeze, wheezy]
• 0.0.200806a-1 (main) [lenny]

Note: packages without a link may have patches in a different format than 3.0 (quilt).