Ubuntu Release Management

Transitions → Coq

Parameters:
Filter by status:
Dependency level 1amd64arm64armhfi386ppc64elriscv64s390x
coq[build logs] (8.19.1+dfsg-1)✔✔✔ ✔✔✔
Dependency level 2amd64arm64armhfi386ppc64elriscv64s390x
aac-tactics[build logs] (8.19.0-1build1)✔✔✔ ✔✔✔
coq-bignums[build logs] (9.0.0+coq8.19-1)✔✔✔ ✔✔✔
coq-dpdgraph[build logs] (1.0+8.19-1)✔✔✔ ✔✔✔
coq-elpi[build logs] (2.1.0-1build1)✔✔ ✔✔
coq-ext-lib[build logs] (0.12.1-1build2)✔✔✔ ✔✔✔
coq-hammer[build logs] (1.3.2+8.19-1build1)✔✔✔ ✔✔✔
coq-hott[build logs] (8.19-1build2)✔✔✔ ✔✔✔
coq-libhyps[build logs] (2.0.8-3build2)✔✔✔ ✔✔✔
coq-menhirlib[build logs] (20231231+ds-3build2)✔✔✔ ✔✔✔
coq-record-update[build logs] (0.3.4-2build1)✔✔✔ ✔✔✔
coq-reduction-effects[build logs] (0.1.5-4build2)✔✔✔ ✔✔✔
coq-stdpp[build logs] (1.10.0-1build2)✔✔✔ ✔✔✔
coq-unicoq[build logs] (1.6-8.19-1)✔✔✔ ✔✔✔
coq-unimath[build logs] (20240331-1build2)✔✔✔ ✔✔✔
flocq[build logs] (4.1.4-1build1)✔✔✔ ✔✔✔
ott[build logs] (0.33+ds-3)✔✔✔ ✔✔✔
paramcoq[build logs] (1.1.3+coq8.19-1)✔✔✔ ✔✔✔
Dependency level 3amd64arm64armhfi386ppc64elriscv64s390x
coq-equations[build logs] (1.3-8.19-1build2)✔✔ ✔✔✔
coq-gappa[build logs] (1.5.5-1build2)✔✔ ✔✔✔
coq-hierarchy-builder[build logs] (1.7.0-1build1)✔✔ ✔✔
coq-iris[build logs] (4.2.0-1build2)✔✔ ✔✔✔
coq-math-classes[build logs] (8.19.0-1build2)✔✔✔ ✔✔✔
coq-mtac2[build logs] (1.4+8.19-1build1)✔✔✔ ✔✔✔
coq-simple-io[build logs] (1.9.0-1build2)✔✔ ✔✔✔
coqprime[build logs] (8.19-1build1)✔✔✔ ✔✔✔
Dependency level 4amd64arm64armhfi386ppc64elriscv64s390x
coq-corn[build logs] (8.19.0+ds1-1)✔✔✔ ✔✔✔
ssreflect[build logs] (2.2.0-1)✔✔ ✔✔
Dependency level 5amd64arm64armhfi386ppc64elriscv64s390x
coq-deriving[build logs] (0.2.0-2build2)✔✔ ✔✔
coq-quickchick[build logs] (2.0.3-2build3)✔✔ ✔✔
coq-reglang[build logs] (1.2.1-3build2)✔✔ ✔✔
coq-relation-algebra[build logs] (1.7.10-3build3)✔✔ ✔✔
coquelicot[build logs] (3.4.1-2build1)✔✔ ✔✔
mathcomp-bigenough[build logs] (1.0.1-13build1)✔✔ ✔✔
mathcomp-finmap[build logs] (2.1.0-1build1)✔✔ ✔✔
mathcomp-zify[build logs] (1.5.0+2.0+8.16-2build1)✔✔ ✔✔
Dependency level 6amd64arm64armhfi386ppc64elriscv64s390x
coq-extructures[build logs] (0.4.0-3build2)✔✔ ✔✔
coq-interval[build logs] (4.10.0-1build2)✔✔ ✔✔
mathcomp-algebra-tactics[build logs] (1.2.3-3build1)✔✔ ✔✔
mathcomp-analysis[build logs] (1.1.0-2build1)✔✔ ✔✔
mathcomp-multinomials[build logs] (2.2.0-2build1)✔✔ ✔✔
mathcomp-real-closed[build logs] (2.0.0-2build1)✔✔ ✔✔
Dependency level 7amd64arm64armhfi386ppc64elriscv64s390x
coqeal[build logs] (2.0.2-1build1)✔✔ ✔✔
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-algebra-tactics, mathcomp-analysis, mathcomp-bigenough, mathcomp-finmap, mathcomp-multinomials, mathcomp-real-closed, mathcomp-zify, ott, paramcoq