src:dh-coq

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

Debian testing (main only)

packagesummary
dh-coq (= 0.9)unsatisfied dependency on libgcc-s1
debian-coq-tools (= 0.9)unsatisfied dependency on libgcc-s1

Build-dependencies testing (main only)

packagesummary
dh-coq (= 0.9)unsatisfied dependency on libgcc-s1