0.1.3-2
0.1.3-2+b1
0.1.4-1
0.1.4-2
0.1.4-2+b1
0.1.4-2+b2
0.1.4-3
0.1.4-3+b1
0.1.4-4
0.1.4-4+b1
0.1.4-4+b2
0.1.4-4+b3
0.1.5-1
0.1.5-4
coq-reduction-effects_0.1.5-4_armhf.buildinfo
coq-reduction-effects_0.1.5-4_armhf.buildinfo
coq-reduction-effects_0.1.5-4_i386.buildinfo
coq-reduction-effects_0.1.5-4_i386.buildinfo
coq-reduction-effects_0.1.5-4_arm64.buildinfo
coq-reduction-effects_0.1.5-4_arm64.buildinfo
coq-reduction-effects_0.1.5-4_amd64.buildinfo
coq-reduction-effects_0.1.5-4_amd64.buildinfo
coq-reduction-effects_0.1.5-1_amd64.buildinfo
coq-reduction-effects_0.1.5-1_amd64.buildinfo
coq-reduction-effects_0.1.5-1_armhf.buildinfo
coq-reduction-effects_0.1.5-1_armhf.buildinfo
coq-reduction-effects_0.1.5-1_amd64.buildinfo
coq-reduction-effects_0.1.5-1_amd64.buildinfo
coq-reduction-effects_0.1.5-1_arm64.buildinfo
coq-reduction-effects_0.1.5-1_arm64.buildinfo
coq-reduction-effects_0.1.5-1_arm64.buildinfo
coq-reduction-effects_0.1.5-1_arm64.buildinfo
coq-reduction-effects_0.1.5-1_amd64.buildinfo
coq-reduction-effects_0.1.5-1_amd64.buildinfo
coq-reduction-effects_0.1.5-1_amd64.buildinfo
coq-reduction-effects_0.1.5-1_amd64.buildinfo
coq-reduction-effects_0.1.5-1_arm64.buildinfo
coq-reduction-effects_0.1.5-1_arm64.buildinfo
coq-reduction-effects_0.1.5-1_arm64.buildinfo
coq-reduction-effects_0.1.5-1_arm64.buildinfo
coq-reduction-effects_0.1.5-1_i386.buildinfo
coq-reduction-effects_0.1.5-1_i386.buildinfo
coq-reduction-effects_0.1.5-1_amd64.buildinfo
coq-reduction-effects_0.1.5-1_amd64.buildinfo
coq-reduction-effects_0.1.5-1_armhf.buildinfo
coq-reduction-effects_0.1.5-1_armhf.buildinfo
coq-reduction-effects_0.1.5-1_arm64.buildinfo
coq-reduction-effects_0.1.5-1_arm64.buildinfo
coq-reduction-effects_0.1.5-1_arm64.buildinfo
coq-reduction-effects_0.1.5-1_arm64.buildinfo
coq-reduction-effects_0.1.5-1_i386.buildinfo
coq-reduction-effects_0.1.5-1_i386.buildinfo
coq-reduction-effects_0.1.5-1_armhf.buildinfo
coq-reduction-effects_0.1.5-1_armhf.buildinfo
coq-reduction-effects_0.1.5-1_amd64.buildinfo
coq-reduction-effects_0.1.5-1_amd64.buildinfo
coq-reduction-effects_0.1.4-4_arm64.buildinfo
coq-reduction-effects_0.1.4-4_arm64.buildinfo
coq-reduction-effects_0.1.5-1_arm64.buildinfo
coq-reduction-effects_0.1.5-1_arm64.buildinfo
coq-reduction-effects_0.1.4-4_arm64.buildinfo
coq-reduction-effects_0.1.4-4_arm64.buildinfo
coq-reduction-effects_0.1.4-4_arm64.buildinfo
coq-reduction-effects_0.1.4-4_arm64.buildinfo
coq-reduction-effects_0.1.4-4_arm64.buildinfo
coq-reduction-effects_0.1.4-4_arm64.buildinfo
coq-reduction-effects_0.1.4-4_arm64.buildinfo
coq-reduction-effects_0.1.4-4_arm64.buildinfo
coq-reduction-effects_0.1.4-4_amd64.buildinfo
coq-reduction-effects_0.1.4-4_amd64.buildinfo
coq-reduction-effects_0.1.4-4_arm64.buildinfo
coq-reduction-effects_0.1.4-4_arm64.buildinfo
coq-reduction-effects (0.1.4-4)_0.1.4-4+b1_riscv64.buildinfo
coq-reduction-effects (0.1.4-4)_0.1.4-4+b3_ppc64el.buildinfo
coq-reduction-effects (0.1.4-4)_0.1.4-4+b3_arm64.buildinfo
coq-reduction-effects (0.1.4-4)_0.1.4-4+b2_s390x.buildinfo
coq-reduction-effects (0.1.4-4)_0.1.4-4+b2_i386.buildinfo
coq-reduction-effects (0.1.4-4)_0.1.4-4+b2_armhf.buildinfo
coq-reduction-effects (0.1.4-4)_0.1.4-4+b2_amd64.buildinfo
coq-reduction-effects_0.1.4-4_riscv64.buildinfo
coq-reduction-effects_0.1.4-4_amd64.buildinfo
coq-reduction-effects_0.1.4-4_amd64.buildinfo
coq-reduction-effects (0.1.4-4)_0.1.4-4+b1_i386.buildinfo
coq-reduction-effects (0.1.4-4)_0.1.4-4+b2_ppc64el.buildinfo
coq-reduction-effects (0.1.4-4)_0.1.4-4+b2_arm64.buildinfo
coq-reduction-effects (0.1.4-4)_0.1.4-4+b1_s390x.buildinfo
coq-reduction-effects (0.1.4-4)_0.1.4-4+b1_amd64.buildinfo
coq-reduction-effects (0.1.4-4)_0.1.4-4+b1_armhf.buildinfo
coq-reduction-effects_0.1.4-4_i386.buildinfo
coq-reduction-effects_0.1.4-4_i386.buildinfo
coq-reduction-effects_0.1.4-4_amd64.buildinfo
coq-reduction-effects_0.1.4-4_amd64.buildinfo
coq-reduction-effects_0.1.4-4_arm64.buildinfo
coq-reduction-effects_0.1.4-4_arm64.buildinfo
coq-reduction-effects_0.1.4-4_armhf.buildinfo
coq-reduction-effects_0.1.4-4_armhf.buildinfo
coq-reduction-effects_0.1.4-4_arm64.buildinfo
coq-reduction-effects_0.1.4-4_arm64.buildinfo
coq-reduction-effects (0.1.4-4)_0.1.4-4+b1_ppc64el.buildinfo
coq-reduction-effects_0.1.4-4_amd64.buildinfo
coq-reduction-effects_0.1.4-4_amd64.buildinfo
coq-reduction-effects (0.1.4-4)_0.1.4-4+b1_arm64.buildinfo
coq-reduction-effects_0.1.4-4_ppc64el.buildinfo
coq-reduction-effects_0.1.4-4_s390x.buildinfo
coq-reduction-effects_0.1.4-4_armhf.buildinfo
coq-reduction-effects_0.1.4-4_i386.buildinfo
coq-reduction-effects_0.1.4-4_arm64.buildinfo
coq-reduction-effects_0.1.4-4_amd64.buildinfo
coq-reduction-effects_0.1.4-3_arm64.buildinfo
coq-reduction-effects_0.1.4-3_arm64.buildinfo
coq-reduction-effects_0.1.4-3_amd64.buildinfo
coq-reduction-effects_0.1.4-3_amd64.buildinfo
coq-reduction-effects_0.1.4-3_armhf.buildinfo
coq-reduction-effects_0.1.4-3_armhf.buildinfo
coq-reduction-effects_0.1.4-3_i386.buildinfo
coq-reduction-effects_0.1.4-3_i386.buildinfo
coq-reduction-effects_0.1.4-3_armhf.buildinfo
coq-reduction-effects_0.1.4-3_armhf.buildinfo
coq-reduction-effects_0.1.4-3_amd64.buildinfo
coq-reduction-effects_0.1.4-3_amd64.buildinfo
coq-reduction-effects_0.1.4-3_armhf.buildinfo
coq-reduction-effects_0.1.4-3_armhf.buildinfo
coq-reduction-effects_0.1.4-3_arm64.buildinfo
coq-reduction-effects_0.1.4-3_arm64.buildinfo
coq-reduction-effects_0.1.4-3_amd64.buildinfo
coq-reduction-effects_0.1.4-3_amd64.buildinfo
coq-reduction-effects_0.1.4-3_arm64.buildinfo
coq-reduction-effects_0.1.4-3_arm64.buildinfo
coq-reduction-effects_0.1.4-3_i386.buildinfo
coq-reduction-effects_0.1.4-3_i386.buildinfo
coq-reduction-effects_0.1.4-3_amd64.buildinfo
coq-reduction-effects_0.1.4-3_amd64.buildinfo
coq-reduction-effects_0.1.4-3_armhf.buildinfo
coq-reduction-effects_0.1.4-3_armhf.buildinfo
coq-reduction-effects_0.1.4-3_arm64.buildinfo
coq-reduction-effects_0.1.4-3_arm64.buildinfo
coq-reduction-effects_0.1.4-3_armhf.buildinfo
coq-reduction-effects_0.1.4-3_armhf.buildinfo
coq-reduction-effects_0.1.4-3_arm64.buildinfo
coq-reduction-effects_0.1.4-3_arm64.buildinfo
coq-reduction-effects_0.1.4-3_amd64.buildinfo
coq-reduction-effects_0.1.4-3_amd64.buildinfo
coq-reduction-effects_0.1.4-3_amd64.buildinfo
coq-reduction-effects_0.1.4-3_amd64.buildinfo
coq-reduction-effects (0.1.4-3)_0.1.4-3+b1_ppc64el.buildinfo
coq-reduction-effects (0.1.4-3)_0.1.4-3+b1_armhf.buildinfo
coq-reduction-effects (0.1.4-3)_0.1.4-3+b1_s390x.buildinfo
coq-reduction-effects (0.1.4-3)_0.1.4-3+b1_i386.buildinfo
coq-reduction-effects (0.1.4-3)_0.1.4-3+b1_arm64.buildinfo
coq-reduction-effects (0.1.4-3)_0.1.4-3+b1_amd64.buildinfo
coq-reduction-effects_0.1.4-3_i386.buildinfo
coq-reduction-effects_0.1.4-3_i386.buildinfo
coq-reduction-effects_0.1.4-3_arm64.buildinfo
coq-reduction-effects_0.1.4-3_arm64.buildinfo
coq-reduction-effects_0.1.4-3_amd64.buildinfo
coq-reduction-effects_0.1.4-3_amd64.buildinfo
coq-reduction-effects_0.1.4-3_armhf.buildinfo
coq-reduction-effects_0.1.4-3_armhf.buildinfo
coq-reduction-effects_0.1.4-3_i386.buildinfo
coq-reduction-effects_0.1.4-3_i386.buildinfo
coq-reduction-effects_0.1.4-3_ppc64el.buildinfo
coq-reduction-effects_0.1.4-3_armhf.buildinfo
coq-reduction-effects_0.1.4-3_armhf.buildinfo
coq-reduction-effects_0.1.4-3_arm64.buildinfo
coq-reduction-effects_0.1.4-3_arm64.buildinfo
coq-reduction-effects_0.1.4-3_s390x.buildinfo
coq-reduction-effects_0.1.4-3_i386.buildinfo
coq-reduction-effects_0.1.4-3_armhf.buildinfo
coq-reduction-effects_0.1.4-3_arm64.buildinfo
coq-reduction-effects_0.1.4-3_amd64.buildinfo
coq-reduction-effects_0.1.4-3_amd64.buildinfo
coq-reduction-effects_0.1.4-3_amd64.buildinfo
coq-reduction-effects (0.1.4-2)_0.1.4-2+b2_ppc64el.buildinfo
coq-reduction-effects (0.1.4-2)_0.1.4-2+b2_arm64.buildinfo
coq-reduction-effects (0.1.4-2)_0.1.4-2+b2_s390x.buildinfo
coq-reduction-effects (0.1.4-2)_0.1.4-2+b2_i386.buildinfo
coq-reduction-effects (0.1.4-2)_0.1.4-2+b2_armhf.buildinfo
coq-reduction-effects (0.1.4-2)_0.1.4-2+b2_amd64.buildinfo
coq-reduction-effects_0.1.4-2_arm64.buildinfo
coq-reduction-effects_0.1.4-2_arm64.buildinfo
coq-reduction-effects_0.1.4-2_amd64.buildinfo
coq-reduction-effects_0.1.4-2_amd64.buildinfo
coq-reduction-effects_0.1.4-2_arm64.buildinfo
coq-reduction-effects_0.1.4-2_arm64.buildinfo
coq-reduction-effects_0.1.4-2_amd64.buildinfo
coq-reduction-effects_0.1.4-2_amd64.buildinfo
coq-reduction-effects_0.1.4-2_armhf.buildinfo
coq-reduction-effects_0.1.4-2_armhf.buildinfo
coq-reduction-effects_0.1.4-2_i386.buildinfo
coq-reduction-effects_0.1.4-2_i386.buildinfo
coq-reduction-effects (0.1.4-2)_0.1.4-2+b1_s390x.buildinfo
coq-reduction-effects (0.1.4-2)_0.1.4-2+b1_ppc64el.buildinfo
coq-reduction-effects_0.1.4-2_arm64.buildinfo
coq-reduction-effects_0.1.4-2_arm64.buildinfo
coq-reduction-effects (0.1.4-2)_0.1.4-2+b1_i386.buildinfo
coq-reduction-effects (0.1.4-2)_0.1.4-2+b1_armhf.buildinfo
coq-reduction-effects (0.1.4-2)_0.1.4-2+b1_arm64.buildinfo
coq-reduction-effects (0.1.4-2)_0.1.4-2+b1_amd64.buildinfo
coq-reduction-effects_0.1.4-2_amd64.buildinfo
coq-reduction-effects_0.1.4-2_amd64.buildinfo
coq-reduction-effects_0.1.4-2_arm64.buildinfo
coq-reduction-effects_0.1.4-2_arm64.buildinfo
coq-reduction-effects_0.1.4-2_amd64.buildinfo
coq-reduction-effects_0.1.4-2_amd64.buildinfo
coq-reduction-effects_0.1.4-2_armhf.buildinfo
coq-reduction-effects_0.1.4-2_armhf.buildinfo
coq-reduction-effects_0.1.4-2_armhf.buildinfo
coq-reduction-effects_0.1.4-2_armhf.buildinfo
coq-reduction-effects_0.1.4-2_arm64.buildinfo
coq-reduction-effects_0.1.4-2_arm64.buildinfo
coq-reduction-effects_0.1.4-2_amd64.buildinfo
coq-reduction-effects_0.1.4-2_amd64.buildinfo
coq-reduction-effects_0.1.4-2_arm64.buildinfo
coq-reduction-effects_0.1.4-2_arm64.buildinfo
coq-reduction-effects_0.1.4-2_amd64.buildinfo
coq-reduction-effects_0.1.4-2_amd64.buildinfo
coq-reduction-effects_0.1.4-2_i386.buildinfo
coq-reduction-effects_0.1.4-2_i386.buildinfo
coq-reduction-effects_0.1.4-2_amd64.buildinfo
coq-reduction-effects_0.1.4-2_amd64.buildinfo
coq-reduction-effects_0.1.4-2_arm64.buildinfo
coq-reduction-effects_0.1.4-2_arm64.buildinfo
coq-reduction-effects_0.1.4-2_armhf.buildinfo
coq-reduction-effects_0.1.4-2_armhf.buildinfo
coq-reduction-effects_0.1.4-2_amd64.buildinfo
coq-reduction-effects_0.1.4-2_amd64.buildinfo
coq-reduction-effects_0.1.4-2_i386.buildinfo
coq-reduction-effects_0.1.4-2_i386.buildinfo
coq-reduction-effects_0.1.4-2_arm64.buildinfo
coq-reduction-effects_0.1.4-2_arm64.buildinfo
coq-reduction-effects_0.1.4-2_s390x.buildinfo
coq-reduction-effects_0.1.4-2_armhf.buildinfo
coq-reduction-effects_0.1.4-2_armhf.buildinfo
coq-reduction-effects_0.1.4-2_ppc64el.buildinfo
coq-reduction-effects_0.1.4-2_i386.buildinfo
coq-reduction-effects_0.1.4-2_arm64.buildinfo
coq-reduction-effects_0.1.4-2_amd64.buildinfo
coq-reduction-effects_0.1.4-2_armhf.buildinfo
coq-reduction-effects_0.1.4-1_armhf.buildinfo
coq-reduction-effects_0.1.4-1_armhf.buildinfo
coq-reduction-effects_0.1.4-1_arm64.buildinfo
coq-reduction-effects_0.1.4-1_arm64.buildinfo
coq-reduction-effects_0.1.4-1_i386.buildinfo
coq-reduction-effects_0.1.4-1_i386.buildinfo
coq-reduction-effects_0.1.4-1_amd64.buildinfo
coq-reduction-effects_0.1.4-1_amd64.buildinfo
coq-reduction-effects_0.1.4-1_i386.buildinfo
coq-reduction-effects_0.1.4-1_i386.buildinfo
coq-reduction-effects_0.1.4-1_armhf.buildinfo
coq-reduction-effects_0.1.4-1_armhf.buildinfo
coq-reduction-effects_0.1.4-1_arm64.buildinfo
coq-reduction-effects_0.1.4-1_arm64.buildinfo
coq-reduction-effects_0.1.4-1_amd64.buildinfo
coq-reduction-effects_0.1.4-1_amd64.buildinfo
coq-reduction-effects_0.1.4-1_s390x.buildinfo
coq-reduction-effects_0.1.4-1_armhf.buildinfo
coq-reduction-effects_0.1.4-1_arm64.buildinfo
coq-reduction-effects_0.1.4-1_amd64.buildinfo
coq-reduction-effects_0.1.4-1_i386.buildinfo
coq-reduction-effects_0.1.4-1_ppc64el.buildinfo
coq-reduction-effects_0.1.3-2_i386.buildinfo
coq-reduction-effects_0.1.3-2_i386.buildinfo
coq-reduction-effects_0.1.3-2_arm64.buildinfo
coq-reduction-effects_0.1.3-2_arm64.buildinfo
coq-reduction-effects_0.1.3-2_armhf.buildinfo
coq-reduction-effects_0.1.3-2_armhf.buildinfo
coq-reduction-effects_0.1.3-2_amd64.buildinfo
coq-reduction-effects_0.1.3-2_amd64.buildinfo
coq-reduction-effects (0.1.3-2)_0.1.3-2+b1_amd64.buildinfo
coq-reduction-effects_0.1.3-2_i386.buildinfo
coq-reduction-effects_0.1.3-2_i386.buildinfo
coq-reduction-effects_0.1.3-2_s390x.buildinfo
coq-reduction-effects_0.1.3-2_amd64.buildinfo
coq-reduction-effects_0.1.3-2_amd64.buildinfo
coq-reduction-effects_0.1.3-2_armhf.buildinfo
coq-reduction-effects_0.1.3-2_armhf.buildinfo
coq-reduction-effects_0.1.3-2_i386.buildinfo
coq-reduction-effects_0.1.3-2_ppc64el.buildinfo
coq-reduction-effects_0.1.3-2_arm64.buildinfo
coq-reduction-effects_0.1.3-2_arm64.buildinfo
coq-reduction-effects_0.1.3-2_armhf.buildinfo
coq-reduction-effects_0.1.3-2_arm64.buildinfo
coq-reduction-effects_0.1.3-2_amd64.buildinfo