src:prover9-manual

Date: 2024-06-16 05:00:05

Debian testing (main only)

packagesummary
prover9-doc (= 0.0.200902a-2.1)unsatisfied dependency on libgcc-s1

Build-dependencies testing (main only)

packagesummary
prover9-manual (= 0.0.200902a-2.1)unsatisfied dependency on libgcc-s1