src:coq-doc

Date: 2024-06-24 05:00:04

Debian testing (contrib and non-free only)

packagesummary
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