src:ssreflect
Date: 2024-06-24 05:00:04
Debian testing (main only)
package | summary |
---|---|
libcoq-mathcomp-character (= 2.2.0-1+b2) | unsatisfied dependency on libgcc-s1 |
libcoq-mathcomp-ssreflect (= 2.2.0-1+b2) | unsatisfied dependency on libgcc-s1 |
libcoq-mathcomp (= 2.2.0-1+b2) | unsatisfied dependency on libgcc-s1 |
libcoq-mathcomp-field (= 2.2.0-1+b2) | unsatisfied dependency on libgcc-s1 |
libcoq-mathcomp-fingroup (= 2.2.0-1+b2) | unsatisfied dependency on libgcc-s1 |
libcoq-mathcomp-algebra (= 2.2.0-1+b2) | unsatisfied dependency on libgcc-s1 |
libcoq-mathcomp-solvable (= 2.2.0-1+b2) | unsatisfied dependency on libgcc-s1 |
Build-dependencies unstable (main only)
package | summary |
---|---|
ssreflect (= 2.2.0-1) | unsatisfied dependency on coq (>= 8.11) |
Build-dependencies testing (main only)
package | summary |
---|---|
ssreflect (= 2.2.0-1) | unsatisfied dependency on coq (>= 8.11) |
ssreflect (= 2.2.0-1) | unsatisfied dependency on libgcc-s1 |
Crossbuild-dependencies unstable on amd64 (main only)
package | summary |
---|---|
ssreflect (= 2.2.0-1) | conflict between gcc:$host and gcc:$build |
ssreflect (= 2.2.0-1) | unsatisfied dependency on coq (>= 8.11) |