src:coq-doc

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

Debian testing (contrib and non-free only)

packagesummary
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