src:dh-coq
Date: 2024-06-24 05:00:04
Debian testing (main only)
package | summary |
---|---|
debian-coq-tools (= 0.9) | unsatisfied dependency on libgcc-s1 |
dh-coq (= 0.9) | unsatisfied dependency on libgcc-s1 |
Build-dependencies testing (main only)
package | summary |
---|---|
dh-coq (= 0.9) | unsatisfied dependency on libgcc-s1 |