src:coq-doc
Date: 2024-06-24 05:00:04
Debian testing (contrib and non-free only)
| package | summary |
|---|---|
| coq-doc-pdf (= 8.19.1-2) | unsatisfied dependency on libgcc-s1 |
| coq-doc (= 8.19.1-2) | unsatisfied dependency on libgcc-s1 |
| coq-doc-html (= 8.19.1-2) | unsatisfied dependency on libgcc-s1 |