Transition: Coq

Dependency level 1		amd64	amd64v3	arm64	ppc64el	riscv64	s390x
coq	[build logs] (9.2.0+dfsg-3)	⁈	⁈	⁈	⁈	⁈	⁈
Dependency level 2		amd64	amd64v3	arm64	ppc64el	riscv64	s390x
rocq-stdlib	[build logs] (9.2.0-1build1)	✔	✔	✔	✔	✔	✔
rocqnavi	[build logs] (0.5.1-2)	✔	✔	✔	✔	✔	✔
Dependency level 3		amd64	amd64v3	arm64	ppc64el	riscv64	s390x
aac-tactics	[build logs] (9.0.0-4)	✔	✔	✘	✘	✔	✘
coq-bignums	[build logs] (9.0.0+rocq9.2-3)	✘	✘	✘	✘	✘	✘
coq-dpdgraph	[build logs] (1.0+9.1-2)	⁈	⁈	⁈	⁈	⁈	⁈
coq-elpi	[build logs] (3.5.0-3)	✘	✘	✘	✘	✘	✘
coq-ext-lib	[build logs] (0.13.1-2)	✔	✔	✔	✔	✔	✔
coq-hammer	[build logs] (1.3.3+9.2-2)	✘	✘	✘	✘	✘	✘
coq-hott	[build logs] (9.1-2)	✔	✔	✘	✘	✔	✘
coq-libhyps	[build logs] (5.0.0-2)	✔	✔	✘	✔	✔	✘
coq-menhirlib	[build logs] (20260209+ds-2)	✔	✔	✔	✔	✔	✔
coq-record-update	[build logs] (0.3.7-3)	✔	✔	✔	✔	✔	✔
coq-reduction-effects	[build logs] (0.1.6-4)	✘	✘	✘	✘	✘	✘
coq-stdpp	[build logs] (1.13.0-2)	✔	✔	✔	✔	✔	✔
coq-unicoq	[build logs] (1.6-9.1-2)	✘	✘	✘	✘	✘	✘
coq-unimath	[build logs] (20260603-2)	✔	✔	✔	✔	✔	✔
flocq	[build logs] (4.2.2-2)	✔	✔	✔	✔	✔	✔
ott	[build logs] (0.34+ds-5)	⁈	⁈	⁈	⁈	⁈	⁈
paramcoq	[build logs] (1.1.3+coq8.20-1build8)	✘	✘	✘	✘	✘	✘
rocq-micromega-plugin	[build logs] (1.1.1-1)	✔	✔	✔	✔	✔	✔
Dependency level 4		amd64	amd64v3	arm64	ppc64el	riscv64	s390x
coq-equations	[build logs] (1.3.2-9.2-2)	✘	✘	✘	✘	✘	✘
coq-gappa	[build logs] (1.11.0-1)	✘	✘	✘	✘	✘	✘
coq-hierarchy-builder	[build logs] (1.10.3-3)	✘	✘	✘	✘	✘	✘
coq-iris	[build logs] (4.5.0-2)	✘	✘	✘	✘	✘	✘
coq-math-classes	[build logs] (9.2.0-1)	✘	✘	✘	✘	✘	✘
coq-mtac2	[build logs] (1.4-rocq9.1-2)	✘	✘	✘	✘	✘	✘
coq-simple-io	[build logs] (1.11.0-5)	✔	✘	✘	✘	✔	✘
coqprime	[build logs] (8.20.1-5)	✘	✘	✘	✘	✘	✘
Dependency level 5		amd64	amd64v3	arm64	ppc64el	riscv64	s390x
coq-corn	[build logs] (8.20.0-1build13)	✘	✘	✘	✘	✘	✘
ssreflect	[build logs] (2.6.0-3)	✘	✘	✘	✘	✘	✘
Dependency level 6		amd64	amd64v3	arm64	ppc64el	riscv64	s390x
coq-deriving	[build logs] (0.2.3-3)	✘	✘	✘	✘	✘	✘
coq-quickchick	[build logs] (2.2.0-3)	⁈	⁈	⁈	⁈	⁈	⁈
coq-reglang	[build logs] (1.2.2-5)	✘	✘	✘	✘	✘	✘
coq-relation-algebra	[build logs] (1.7.11-1build15)	✘	✘	✘	✘	✘	✘
coquelicot	[build logs] (3.4.4-5)	✘	✘	✘	✘	✘	✘
mathcomp-bigenough	[build logs] (1.0.4-3)	✘	✘	✘	✘	✘	✘
mathcomp-finmap	[build logs] (2.2.4-3)	✘	✘	✘	✘	✘	✘
mathcomp-zify	[build logs] (1.7.0+2.4+9.0-1)	✘	✘	✘	✘	✘	✘
Dependency level 7		amd64	amd64v3	arm64	ppc64el	riscv64	s390x
coq-extructures	[build logs] (0.5.0-6)	✘	✘	✘	✘	✘	✘
coq-interval	[build logs] (4.11.4-3)	✘	✘	✘	✘	✘	✘
mathcomp-algebra-tactics	[build logs] (1.2.7-5)	✘	✘	✘	✘	✘	✘
mathcomp-analysis	[build logs] (1.17.0-1)	✘	✘	✘	✘	✘	✘
mathcomp-multinomials	[build logs] (2.5.0-3)	✘	✘	✘	✘	✘	✘
mathcomp-real-closed	[build logs] (2.0.6-2)	✘	✘	✘	✘	✘	✘
Dependency level 8		amd64	amd64v3	arm64	ppc64el	riscv64	s390x
coqeal	[build logs] (2.1.2-2)	✘	✘	✘	✘	✘	✘

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, rocq-micromega-plugin, rocq-stdlib, rocqnavi, ssreflect

Ubuntu Release Management

Transitions → Coq