Debian Release Management

Transitions → auto-upperlimit-libghc-agda-dev

Parameters:

Notes:

Tracker for packages depending on libghc-agda-dev with an upper limit

This tracker was setup by a very simple automated tool.

Filter by status: good partial bad unknown

ignore packages that are not in testing

Dependency level 1 (build logs RC bugs)		amd64	arm64	armhf	i386	ppc64el	riscv64	s390x
agda	[build logs] (2.8.0-2)	✔	✔	⁈	✔	✔	✔	✔
Dependency level 2 (build logs RC bugs)		amd64	arm64	armhf	i386	ppc64el	riscv64	s390x
agda-stdlib	[build logs] (2.3-1) [arch:all]	✔	✔	⁈	✔	✔	✔	✔

Collisions: