src:coq-relation-algebra
Date: 2024-05-04 05:00:03
Debian unstable (main only)
package | summary |
---|---|
libcoq-relation-algebra (= 1.7.9-2+b2) | unsatisfied dependency on libcoq-aac-tactics-gfd08 |
libcoq-relation-algebra (= 1.7.9-2+b2) | unsatisfied dependency on libcoq-aac-tactics-xsuq6 |
Debian testing (main only)
package | summary |
---|---|
libcoq-relation-algebra (= 1.7.9-2+b2) | unsatisfied dependency on libcoq-aac-tactics-xsuq6 |
Build-dependencies unstable (main only)
package | summary |
---|---|
coq-relation-algebra (= 1.7.10-3) | unsatisfied dependency on libcoq-stdlib-8u5j8 |
coq-relation-algebra (= 1.7.10-3) | unsatisfied dependency on libcoq-stdlib-wsmp7 |
coq-relation-algebra (= 1.7.10-3) | unsatisfied dependency on coq (>= 8.18) |
Build-dependencies testing (main only)
package | summary |
---|---|
coq-relation-algebra (= 1.7.9-2) | unsatisfied dependency on libcoq-hierarchy-builder-0iec2 |
coq-relation-algebra (= 1.7.9-2) | unsatisfied dependency on coq (>= 8.18) |
Crossbuild-dependencies unstable on amd64 (main only)
package | summary |
---|---|
coq-relation-algebra (= 1.7.10-3) | unsatisfied dependency on libcoq-stdlib-8u5j8 |
coq-relation-algebra (= 1.7.10-3) | unsatisfied dependency on libcoq-stdlib-wsmp7 |
coq-relation-algebra (= 1.7.10-3) | conflict between gcc:$host and gcc:$build |
coq-relation-algebra (= 1.7.10-3) | unsatisfied dependency on coq (>= 8.18) |