src:prover9-manual
Date: 2024-06-24 05:00:04
Debian testing (main only)
| package | summary |
|---|---|
| prover9-doc (= 0.0.200902a-2.1) | unsatisfied dependency on libgcc-s1 |
Build-dependencies testing (main only)
| package | summary |
|---|---|
| prover9-manual (= 0.0.200902a-2.1) | unsatisfied dependency on libgcc-s1 |