src:coq-extructures

Date: 2024-06-17 05:00:05

Debian testing (main only)

packagesummary
libcoq-extructures (= 0.4.0-1+b1)unsatisfied dependency on libcoq-deriving-g8hw1

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-1)unsatisfied dependency on libcoq-hierarchy-builder-0iec2
coq-extructures (= 0.4.0-1)unsatisfied dependency on coq
coq-extructures (= 0.4.0-1)unsatisfied dependency on libgcc-s1

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