Package: prover9-manual

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