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