src:mathcomp-analysis
Date: 2026-08-11 05:00:01
Debian unstable (main only)
| package | summary |
|---|---|
| libcoq-mathcomp-classical (= 1.16.0-2) | unsatisfied dependency on libcoq-elpi-wqcp9 |
| libcoq-mathcomp-analysis (= 1.16.0-2) | unsatisfied dependency on libcoq-elpi-3j4b9 |
| libcoq-mathcomp-analysis (= 1.9.0-1+b10) | unsatisfied dependency on libcoq-elpi-bkmh8 |
| libcoq-mathcomp-classical (= 1.16.0-2+b1) | unsatisfied dependency on libcoq-elpi-w2y06 |
| libcoq-mathcomp-analysis (= 1.16.0-2) | unsatisfied dependency on libcoq-elpi-ct5n0 |
| libcoq-mathcomp-classical (= 1.16.0-2) | unsatisfied dependency on libcoq-elpi-ct5n0 |
| libcoq-mathcomp-analysis (= 1.16.0-2) | unsatisfied dependency on libcoq-elpi-wqcp9 |
| libcoq-mathcomp-classical (= 1.9.0-1+b10) | unsatisfied dependency on libcoq-elpi-bkmh8 |
| libcoq-mathcomp-classical (= 1.16.0-2) | unsatisfied dependency on libcoq-elpi-3j4b9 |
| libcoq-mathcomp-analysis (= 1.16.0-2+b1) | unsatisfied dependency on libcoq-elpi-w2y06 |
Build-dependencies unstable (main only)
| package | summary |
|---|---|
| mathcomp-analysis (= 1.16.0-2) | unsatisfied dependency on libcoq-elpi |
| mathcomp-analysis (= 1.16.0-2) | unsatisfied dependency on libelpi-ocaml-sslp6 |
| mathcomp-analysis (= 1.16.0-2) | unsatisfied dependency on libelpi-ocaml-68aq1 |
| mathcomp-analysis (= 1.16.0-2) | unsatisfied dependency on libelpi-ocaml-kmr63 |
| mathcomp-analysis (= 1.16.0-2) | unsatisfied dependency on libelpi-ocaml-wk9g3 |
Crossbuild-dependencies unstable on amd64 (main only)
| package | summary |
|---|---|
| mathcomp-analysis (= 1.16.0-2) | unsatisfied dependency on libelpi-ocaml-sslp6 |
| mathcomp-analysis (= 1.16.0-2) | unsatisfied dependency on libcoq-elpi |
| mathcomp-analysis (= 1.16.0-2) | unsatisfied dependency on libelpi-ocaml-68aq1 |