|
s390x build of coq-reduction-effects 0.1.4-3build2 in ubuntu lunar PROPOSED
|
|
s390x build of coq-reduction-effects 0.1.4-3build2 in ubuntu lunar PROPOSED
|
|
riscv64 build of coq-reduction-effects 0.1.4-3build2 in ubuntu lunar PROPOSED
|
|
riscv64 build of coq-reduction-effects 0.1.4-3build2 in ubuntu lunar PROPOSED
|
|
ppc64el build of coq-reduction-effects 0.1.4-3build2 in ubuntu lunar PROPOSED
|
|
ppc64el build of coq-reduction-effects 0.1.4-3build2 in ubuntu lunar PROPOSED
|
|
armhf build of coq-reduction-effects 0.1.4-3build2 in ubuntu lunar PROPOSED
|
|
armhf build of coq-reduction-effects 0.1.4-3build2 in ubuntu lunar PROPOSED
|
|
arm64 build of coq-reduction-effects 0.1.4-3build2 in ubuntu lunar PROPOSED
|
|
arm64 build of coq-reduction-effects 0.1.4-3build2 in ubuntu lunar PROPOSED
|
|
amd64 build of coq-reduction-effects 0.1.4-3build2 in ubuntu lunar PROPOSED
|
|
amd64 build of coq-reduction-effects 0.1.4-3build2 in ubuntu lunar PROPOSED
|
|
s390x build of coq-reduction-effects 0.1.4-3build1 in ubuntu lunar PROPOSED
|
|
s390x build of coq-reduction-effects 0.1.4-3build1 in ubuntu lunar PROPOSED
|
|
riscv64 build of coq-reduction-effects 0.1.4-3build1 in ubuntu lunar PROPOSED
|
|
riscv64 build of coq-reduction-effects 0.1.4-3build1 in ubuntu lunar PROPOSED
|
|
ppc64el build of coq-reduction-effects 0.1.4-3build1 in ubuntu lunar PROPOSED
|
|
ppc64el build of coq-reduction-effects 0.1.4-3build1 in ubuntu lunar PROPOSED
|
|
armhf build of coq-reduction-effects 0.1.4-3build1 in ubuntu lunar PROPOSED
|
|
armhf build of coq-reduction-effects 0.1.4-3build1 in ubuntu lunar PROPOSED
|
|
arm64 build of coq-reduction-effects 0.1.4-3build1 in ubuntu lunar PROPOSED
|
|
arm64 build of coq-reduction-effects 0.1.4-3build1 in ubuntu lunar PROPOSED
|
|
amd64 build of coq-reduction-effects 0.1.4-3build1 in ubuntu lunar PROPOSED
|
|
amd64 build of coq-reduction-effects 0.1.4-3build1 in ubuntu lunar PROPOSED
|
|
s390x build of coq-reduction-effects 0.1.4-3 in ubuntu lunar PROPOSED
|
|
riscv64 build of coq-reduction-effects 0.1.4-3 in ubuntu lunar PROPOSED
|
|
ppc64el build of coq-reduction-effects 0.1.4-3 in ubuntu lunar PROPOSED
|
|
armhf build of coq-reduction-effects 0.1.4-3 in ubuntu lunar PROPOSED
|
|
arm64 build of coq-reduction-effects 0.1.4-3 in ubuntu lunar PROPOSED
|
|
amd64 build of coq-reduction-effects 0.1.4-3 in ubuntu lunar PROPOSED
|
|
s390x build of coq-reduction-effects 0.1.4-2build3 in ubuntu lunar PROPOSED
|
|
s390x build of coq-reduction-effects 0.1.4-2build3 in ubuntu lunar PROPOSED
|
|
riscv64 build of coq-reduction-effects 0.1.4-2build3 in ubuntu lunar PROPOSED
|
|
riscv64 build of coq-reduction-effects 0.1.4-2build3 in ubuntu lunar PROPOSED
|
|
ppc64el build of coq-reduction-effects 0.1.4-2build3 in ubuntu lunar PROPOSED
|
|
ppc64el build of coq-reduction-effects 0.1.4-2build3 in ubuntu lunar PROPOSED
|
|
armhf build of coq-reduction-effects 0.1.4-2build3 in ubuntu lunar PROPOSED
|
|
armhf build of coq-reduction-effects 0.1.4-2build3 in ubuntu lunar PROPOSED
|
|
arm64 build of coq-reduction-effects 0.1.4-2build3 in ubuntu lunar PROPOSED
|
|
arm64 build of coq-reduction-effects 0.1.4-2build3 in ubuntu lunar PROPOSED
|
|
amd64 build of coq-reduction-effects 0.1.4-2build3 in ubuntu lunar PROPOSED
|
|
amd64 build of coq-reduction-effects 0.1.4-2build3 in ubuntu lunar PROPOSED
|
|
s390x build of coq-reduction-effects 0.1.4-2build2 in ubuntu lunar PROPOSED
|
|
riscv64 build of coq-reduction-effects 0.1.4-2build2 in ubuntu lunar PROPOSED
|
|
ppc64el build of coq-reduction-effects 0.1.4-2build2 in ubuntu lunar PROPOSED
|
|
armhf build of coq-reduction-effects 0.1.4-2build2 in ubuntu lunar PROPOSED
|
|
arm64 build of coq-reduction-effects 0.1.4-2build2 in ubuntu lunar PROPOSED
|
|
amd64 build of coq-reduction-effects 0.1.4-2build2 in ubuntu lunar PROPOSED
|
|
s390x build of coq-reduction-effects 0.1.4-2build1 in ubuntu lunar PROPOSED
|
|
riscv64 build of coq-reduction-effects 0.1.4-2build1 in ubuntu lunar PROPOSED
|
|
ppc64el build of coq-reduction-effects 0.1.4-2build1 in ubuntu lunar PROPOSED
|
|
armhf build of coq-reduction-effects 0.1.4-2build1 in ubuntu lunar PROPOSED
|
|
arm64 build of coq-reduction-effects 0.1.4-2build1 in ubuntu lunar PROPOSED
|
|
amd64 build of coq-reduction-effects 0.1.4-2build1 in ubuntu lunar PROPOSED
|
|
s390x build of coq-reduction-effects 0.1.4-2 in ubuntu lunar PROPOSED
|
|
riscv64 build of coq-reduction-effects 0.1.4-2 in ubuntu lunar PROPOSED
|
|
ppc64el build of coq-reduction-effects 0.1.4-2 in ubuntu lunar PROPOSED
|
|
armhf build of coq-reduction-effects 0.1.4-2 in ubuntu lunar PROPOSED
|
|
arm64 build of coq-reduction-effects 0.1.4-2 in ubuntu lunar PROPOSED
|
|
amd64 build of coq-reduction-effects 0.1.4-2 in ubuntu lunar PROPOSED
|
|
s390x build of coq-reduction-effects 0.1.4-1 in ubuntu kinetic PROPOSED
|
|
riscv64 build of coq-reduction-effects 0.1.4-1 in ubuntu kinetic PROPOSED
|
|
ppc64el build of coq-reduction-effects 0.1.4-1 in ubuntu kinetic PROPOSED
|
|
armhf build of coq-reduction-effects 0.1.4-1 in ubuntu kinetic PROPOSED
|
|
arm64 build of coq-reduction-effects 0.1.4-1 in ubuntu kinetic PROPOSED
|
|
amd64 build of coq-reduction-effects 0.1.4-1 in ubuntu kinetic PROPOSED
|