Debian Release Management

Transitions → Coq

Parameters:
Filter by status:
Dependency level 1 (build logs RC bugs)alphahppahurdia64kbsd64kbsd32m68kppcppc64riscv64sh4sparc64x32
coq[build logs] (8.16.0+dfsg-1)✘✘✔✘⁈⁈✘✘✔✔✘✘✘
Dependency level 2 (build logs RC bugs)alphahppahurdia64kbsd64kbsd32m68kppcppc64riscv64sh4sparc64x32
aac-tactics[build logs] (8.16.0-1)✘✘✔✘⁈⁈ ✘✔✔✘✘✘
coq-bignums[build logs] (8.16.0-1) ✔ ✘✘ ✔✔
coq-dpdgraph[build logs] (1.0+8.16-1) ✔ ✔✔
coq-elpi[build logs] (1.15.6-2) ✘ ✘✘ ✔✘
coq-ext-lib[build logs] (0.11.7-1) ✔ ✔✔
coq-hammer[build logs] (1.3.2+8.16-1) ✔ ✔✔
coq-hott[build logs] (8.16-1) ✔ ✔✔
coq-libhyps[build logs] (2.0.6-1) ✔ ✔✔
coq-menhirlib[build logs] (20220210+ds-3) ✔ ✔✔
coq-record-update[build logs] (0.3.1-1) ✔ ✔✔
coq-reduction-effects[build logs] (0.1.4-2) ✔ ✔✔
coq-stdpp[build logs] (1.8.0-2) ✔ ✔✔
coq-unicoq[build logs] (1.6-8.16-1) ✔ ✔✔
coq-unimath[build logs] (20220816-1) ✔ ✔✔
flocq[build logs] (4.1.0-2) ✔ ✔✔
ott[build logs] (0.32+ds-2) ✔ ✔✔
paramcoq[build logs] (1.1.3+coq8.16-2) ✔ ✘✘ ✔✔
ssreflect[build logs] (1.15.0-1)✘✘✔✘✘✘ ✘✔✔✘✘✘
Dependency level 3 (build logs RC bugs)alphahppahurdia64kbsd64kbsd32m68kppcppc64riscv64sh4sparc64x32
coq-deriving[build logs] (0.1.0-1) ✔ ✔✔
coq-equations[build logs] (1.3-8.16-1) ✘ ✔✔
coq-gappa[build logs] (1.5.2-4) ✔ ✔✔
coq-hierarchy-builder[build logs] (1.4.0-2) ✘ ⁈⁈ ✔✘
coq-iris[build logs] (4.0.0-2) ✔ ✔✔
coq-math-classes[build logs] (8.15.0-3) ✔ ✔✔
coq-mtac2[build logs] (1.4+8.16-1) ✔ ✔✔
coq-reglang[build logs] (1.1.3-1) ✔ ✔✔
coq-relation-algebra[build logs] (1.7.8-1) ✔ ✔✔
coq-simple-io[build logs] (1.8.0-1) ✔ ✔✔
coqprime[build logs] (8.15-1) ✔ ✔✔
coquelicot[build logs] (3.2.0-7) ✔ ✘✘ ✔✔
mathcomp-bigenough[build logs] (1.0.1-8) ✔ ✘✘ ✔✔
mathcomp-finmap[build logs] (1.5.2-1) ✔ ✘✘ ✔✔
mathcomp-zify[build logs] (1.2.0+1.12+8.13-6) ✔ ✘✘ ✔✔
Dependency level 4 (build logs RC bugs)alphahppahurdia64kbsd64kbsd32m68kppcppc64riscv64sh4sparc64x32
coq-corn[build logs] (8.16.0-1) ✔ ✔✔
coq-extructures[build logs] (0.3.1-2) ✔ ✔✔
coq-interval[build logs] (4.6.0-1) ✔ ✔✔
coq-quickchick[build logs] (1.6.4-2) ✔ ✔✔
mathcomp-algebra-tactics[build logs] (1.0.0-7) ✘ ✔✘
mathcomp-analysis[build logs] (0.5.4-2) ✘ ✔✘
mathcomp-multinomials[build logs] (1.5.5-8) ✔ ✘✘ ✔✔
mathcomp-real-closed[build logs] (1.1.3-1) ✔ ✘✘ ✔✔
Dependency level 5 (build logs RC bugs)alphahppahurdia64kbsd64kbsd32m68kppcppc64riscv64sh4sparc64x32
coqeal[build logs] (1.1.1-2) ✔ ✔✔
mathcomp-abel[build logs] (1.2.1-1) ✔ ✔✔
Collisions:
  • ocaml through aac-tactics, coq, coq-bignums, coq-corn, coq-deriving, coq-dpdgraph, coq-elpi, coq-equations, coq-ext-lib, coq-extructures, coq-gappa, coq-hammer, coq-hierarchy-builder, coq-hott, coq-interval, coq-iris, coq-libhyps, coq-math-classes, coq-menhirlib, coq-mtac2, coq-quickchick, coq-record-update, coq-reduction-effects, coq-reglang, coq-relation-algebra, coq-simple-io, coq-stdpp, coq-unicoq, coq-unimath, coqeal, coqprime, coquelicot, flocq, mathcomp-abel, mathcomp-algebra-tactics, mathcomp-analysis, mathcomp-bigenough, mathcomp-finmap, mathcomp-multinomials, mathcomp-real-closed, mathcomp-zify, ott, paramcoq, ssreflect