src:coq-extructures

Date: 2024-07-26 05:00:05

Debian testing (main only)

packagesummary
libcoq-extructures (= 0.4.0-3+b3)unsatisfied dependency on libgcc-s1

Build-dependencies unstable (main only)

packagesummary
coq-extructures (= 0.4.0-3)unsatisfied dependency on coq

Build-dependencies testing (main only)

packagesummary
coq-extructures (= 0.4.0-3)unsatisfied dependency on libgcc-s1
coq-extructures (= 0.4.0-3)unsatisfied dependency on coq

Crossbuild-dependencies unstable on amd64 (main only)

packagesummary
coq-extructures (= 0.4.0-3)conflict between gcc:$host and gcc:$build
coq-extructures (= 0.4.0-3)unsatisfied dependency on coq