8.15-2
8.15-2+b1
8.15-3
8.15-4
8.16-1
8.16-1+b1
8.16-1+b2
8.16-1+b3
8.16-2
8.16-2+b1
8.17-1
8.17-1+b1
8.17-1+b2
8.18-1
8.18-1+b1
8.18-3
8.19-1
coq-hott_8.19-1_armhf.buildinfo
coq-hott_8.19-1_armhf.buildinfo
coq-hott_8.19-1_arm64.buildinfo
coq-hott_8.19-1_arm64.buildinfo
coq-hott_8.19-1_i386.buildinfo
coq-hott_8.19-1_i386.buildinfo
coq-hott_8.19-1_amd64.buildinfo
coq-hott_8.19-1_amd64.buildinfo
coq-hott_8.18-3_armhf.buildinfo
coq-hott_8.18-3_armhf.buildinfo
coq-hott_8.18-3_amd64.buildinfo
coq-hott_8.18-3_amd64.buildinfo
coq-hott_8.18-3_arm64.buildinfo
coq-hott_8.18-3_arm64.buildinfo
coq-hott_8.18-3_amd64.buildinfo
coq-hott_8.18-3_amd64.buildinfo
coq-hott_8.18-3_arm64.buildinfo
coq-hott_8.18-3_arm64.buildinfo
coq-hott_8.18-3_amd64.buildinfo
coq-hott_8.18-3_amd64.buildinfo
coq-hott_8.18-3_amd64.buildinfo
coq-hott_8.18-3_amd64.buildinfo
coq-hott_8.18-3_arm64.buildinfo
coq-hott_8.18-3_arm64.buildinfo
coq-hott_8.18-3_arm64.buildinfo
coq-hott_8.18-3_arm64.buildinfo
coq-hott_8.18-3_i386.buildinfo
coq-hott_8.18-3_i386.buildinfo
coq-hott_8.18-3_armhf.buildinfo
coq-hott_8.18-3_armhf.buildinfo
coq-hott_8.18-3_amd64.buildinfo
coq-hott_8.18-3_amd64.buildinfo
coq-hott_8.18-3_arm64.buildinfo
coq-hott_8.18-3_arm64.buildinfo
coq-hott_8.18-3_arm64.buildinfo
coq-hott_8.18-3_arm64.buildinfo
coq-hott_8.18-3_i386.buildinfo
coq-hott_8.18-3_i386.buildinfo
coq-hott_8.18-3_armhf.buildinfo
coq-hott_8.18-3_armhf.buildinfo
coq-hott_8.18-1_amd64.buildinfo
coq-hott_8.18-1_amd64.buildinfo
coq-hott_8.18-3_amd64.buildinfo
coq-hott_8.18-3_amd64.buildinfo
coq-hott_8.18-1_arm64.buildinfo
coq-hott_8.18-1_arm64.buildinfo
coq-hott_8.18-1_arm64.buildinfo
coq-hott_8.18-1_arm64.buildinfo
coq-hott_8.18-1_amd64.buildinfo
coq-hott_8.18-1_amd64.buildinfo
coq-hott_8.18-1_arm64.buildinfo
coq-hott_8.18-1_arm64.buildinfo
coq-hott_8.18-1_arm64.buildinfo
coq-hott_8.18-1_arm64.buildinfo
coq-hott (8.18-1)_8.18-1+b1_riscv64.buildinfo
coq-hott (8.18-1)_8.18-1+b1_arm64.buildinfo
coq-hott (8.18-1)_8.18-1+b1_armhf.buildinfo
coq-hott (8.18-1)_8.18-1+b1_amd64.buildinfo
coq-hott (8.18-1)_8.18-1+b1_s390x.buildinfo
coq-hott (8.18-1)_8.18-1+b1_ppc64el.buildinfo
coq-hott (8.18-1)_8.18-1+b1_i386.buildinfo
coq-hott_8.18-1_i386.buildinfo
coq-hott_8.18-1_i386.buildinfo
coq-hott_8.18-1_i386.buildinfo
coq-hott_8.18-1_i386.buildinfo
coq-hott_8.18-1_arm64.buildinfo
coq-hott_8.18-1_arm64.buildinfo
coq-hott_8.18-1_armhf.buildinfo
coq-hott_8.18-1_armhf.buildinfo
coq-hott_8.18-1_amd64.buildinfo
coq-hott_8.18-1_amd64.buildinfo
coq-hott_8.18-1_arm64.buildinfo
coq-hott_8.18-1_arm64.buildinfo
coq-hott_8.18-1_armhf.buildinfo
coq-hott_8.18-1_armhf.buildinfo
coq-hott_8.18-1_amd64.buildinfo
coq-hott_8.18-1_amd64.buildinfo
coq-hott_8.18-1_arm64.buildinfo
coq-hott_8.18-1_arm64.buildinfo
coq-hott_8.18-1_armhf.buildinfo
coq-hott_8.18-1_armhf.buildinfo
coq-hott_8.18-1_amd64.buildinfo
coq-hott_8.18-1_amd64.buildinfo
coq-hott_8.18-1_armhf.buildinfo
coq-hott_8.18-1_armhf.buildinfo
coq-hott_8.18-1_riscv64.buildinfo
coq-hott_8.18-1_s390x.buildinfo
coq-hott_8.18-1_ppc64el.buildinfo
coq-hott_8.18-1_i386.buildinfo
coq-hott_8.18-1_armhf.buildinfo
coq-hott_8.18-1_arm64.buildinfo
coq-hott_8.18-1_amd64.buildinfo
coq-hott_8.17-1_riscv64.buildinfo
coq-hott_8.17-1_amd64.buildinfo
coq-hott_8.17-1_amd64.buildinfo
coq-hott (8.17-1)_8.17-1+b1_i386.buildinfo
coq-hott (8.17-1)_8.17-1+b2_ppc64el.buildinfo
coq-hott (8.17-1)_8.17-1+b2_arm64.buildinfo
coq-hott (8.17-1)_8.17-1+b1_s390x.buildinfo
coq-hott (8.17-1)_8.17-1+b1_armhf.buildinfo
coq-hott (8.17-1)_8.17-1+b1_amd64.buildinfo
coq-hott_8.17-1_i386.buildinfo
coq-hott_8.17-1_i386.buildinfo
coq-hott_8.17-1_arm64.buildinfo
coq-hott_8.17-1_arm64.buildinfo
coq-hott_8.17-1_amd64.buildinfo
coq-hott_8.17-1_amd64.buildinfo
coq-hott_8.17-1_armhf.buildinfo
coq-hott_8.17-1_armhf.buildinfo
coq-hott_8.17-1_arm64.buildinfo
coq-hott_8.17-1_arm64.buildinfo
coq-hott_8.17-1_amd64.buildinfo
coq-hott_8.17-1_amd64.buildinfo
coq-hott (8.17-1)_8.17-1+b1_ppc64el.buildinfo
coq-hott (8.17-1)_8.17-1+b1_arm64.buildinfo
coq-hott_8.17-1_ppc64el.buildinfo
coq-hott_8.17-1_s390x.buildinfo
coq-hott_8.17-1_armhf.buildinfo
coq-hott_8.17-1_arm64.buildinfo
coq-hott_8.17-1_i386.buildinfo
coq-hott_8.17-1_amd64.buildinfo
coq-hott_8.16-2_amd64.buildinfo
coq-hott_8.16-2_amd64.buildinfo
coq-hott_8.16-2_armhf.buildinfo
coq-hott_8.16-2_armhf.buildinfo
coq-hott_8.16-2_i386.buildinfo
coq-hott_8.16-2_i386.buildinfo
coq-hott_8.16-2_armhf.buildinfo
coq-hott_8.16-2_armhf.buildinfo
coq-hott_8.16-2_amd64.buildinfo
coq-hott_8.16-2_amd64.buildinfo
coq-hott_8.16-2_arm64.buildinfo
coq-hott_8.16-2_arm64.buildinfo
coq-hott_8.16-2_armhf.buildinfo
coq-hott_8.16-2_armhf.buildinfo
coq-hott_8.16-2_amd64.buildinfo
coq-hott_8.16-2_amd64.buildinfo
coq-hott_8.16-2_arm64.buildinfo
coq-hott_8.16-2_arm64.buildinfo
coq-hott_8.16-2_i386.buildinfo
coq-hott_8.16-2_i386.buildinfo
coq-hott_8.16-2_amd64.buildinfo
coq-hott_8.16-2_amd64.buildinfo
coq-hott_8.16-2_armhf.buildinfo
coq-hott_8.16-2_armhf.buildinfo
coq-hott_8.16-2_arm64.buildinfo
coq-hott_8.16-2_arm64.buildinfo
coq-hott_8.16-2_armhf.buildinfo
coq-hott_8.16-2_armhf.buildinfo
coq-hott_8.16-2_arm64.buildinfo
coq-hott_8.16-2_arm64.buildinfo
coq-hott_8.16-2_amd64.buildinfo
coq-hott_8.16-2_amd64.buildinfo
coq-hott_8.16-2_amd64.buildinfo
coq-hott_8.16-2_amd64.buildinfo
coq-hott (8.16-2)_8.16-2+b1_s390x.buildinfo
coq-hott (8.16-2)_8.16-2+b1_ppc64el.buildinfo
coq-hott (8.16-2)_8.16-2+b1_i386.buildinfo
coq-hott (8.16-2)_8.16-2+b1_armhf.buildinfo
coq-hott (8.16-2)_8.16-2+b1_arm64.buildinfo
coq-hott (8.16-2)_8.16-2+b1_amd64.buildinfo
coq-hott_8.16-2_i386.buildinfo
coq-hott_8.16-2_i386.buildinfo
coq-hott_8.16-2_arm64.buildinfo
coq-hott_8.16-2_arm64.buildinfo
coq-hott_8.16-2_armhf.buildinfo
coq-hott_8.16-2_armhf.buildinfo
coq-hott_8.16-2_amd64.buildinfo
coq-hott_8.16-2_amd64.buildinfo
coq-hott_8.16-2_i386.buildinfo
coq-hott_8.16-2_i386.buildinfo
coq-hott_8.16-2_ppc64el.buildinfo
coq-hott_8.16-2_armhf.buildinfo
coq-hott_8.16-2_armhf.buildinfo
coq-hott_8.16-2_arm64.buildinfo
coq-hott_8.16-2_arm64.buildinfo
coq-hott_8.16-2_amd64.buildinfo
coq-hott_8.16-2_amd64.buildinfo
coq-hott_8.16-2_s390x.buildinfo
coq-hott_8.16-2_i386.buildinfo
coq-hott_8.16-2_armhf.buildinfo
coq-hott_8.16-2_arm64.buildinfo
coq-hott_8.16-2_amd64.buildinfo
coq-hott (8.16-1)_8.16-1+b3_ppc64el.buildinfo
coq-hott (8.16-1)_8.16-1+b3_arm64.buildinfo
coq-hott (8.16-1)_8.16-1+b3_s390x.buildinfo
coq-hott (8.16-1)_8.16-1+b3_i386.buildinfo
coq-hott (8.16-1)_8.16-1+b3_armhf.buildinfo
coq-hott (8.16-1)_8.16-1+b3_amd64.buildinfo
coq-hott_8.16-1_arm64.buildinfo
coq-hott_8.16-1_arm64.buildinfo
coq-hott_8.16-1_amd64.buildinfo
coq-hott_8.16-1_amd64.buildinfo
coq-hott_8.16-1_arm64.buildinfo
coq-hott_8.16-1_arm64.buildinfo
coq-hott_8.16-1_amd64.buildinfo
coq-hott_8.16-1_amd64.buildinfo
coq-hott_8.16-1_armhf.buildinfo
coq-hott_8.16-1_armhf.buildinfo
coq-hott_8.16-1_i386.buildinfo
coq-hott_8.16-1_i386.buildinfo
coq-hott_8.16-1_arm64.buildinfo
coq-hott_8.16-1_arm64.buildinfo
coq-hott (8.16-1)_8.16-1+b2_s390x.buildinfo
coq-hott (8.16-1)_8.16-1+b2_ppc64el.buildinfo
coq-hott (8.16-1)_8.16-1+b2_armhf.buildinfo
coq-hott (8.16-1)_8.16-1+b2_arm64.buildinfo
coq-hott (8.16-1)_8.16-1+b2_amd64.buildinfo
coq-hott (8.16-1)_8.16-1+b2_i386.buildinfo
coq-hott_8.16-1_arm64.buildinfo
coq-hott_8.16-1_arm64.buildinfo
coq-hott_8.16-1_amd64.buildinfo
coq-hott_8.16-1_amd64.buildinfo
coq-hott_8.16-1_amd64.buildinfo
coq-hott_8.16-1_amd64.buildinfo
coq-hott_8.16-1_armhf.buildinfo
coq-hott_8.16-1_armhf.buildinfo
coq-hott_8.16-1_armhf.buildinfo
coq-hott_8.16-1_armhf.buildinfo
coq-hott_8.16-1_arm64.buildinfo
coq-hott_8.16-1_arm64.buildinfo
coq-hott_8.16-1_amd64.buildinfo
coq-hott_8.16-1_amd64.buildinfo
coq-hott_8.16-1_arm64.buildinfo
coq-hott_8.16-1_arm64.buildinfo
coq-hott_8.16-1_amd64.buildinfo
coq-hott_8.16-1_amd64.buildinfo
coq-hott_8.16-1_i386.buildinfo
coq-hott_8.16-1_i386.buildinfo
coq-hott_8.16-1_amd64.buildinfo
coq-hott_8.16-1_amd64.buildinfo
coq-hott_8.16-1_arm64.buildinfo
coq-hott_8.16-1_arm64.buildinfo
coq-hott_8.16-1_armhf.buildinfo
coq-hott_8.16-1_armhf.buildinfo
coq-hott_8.16-1_amd64.buildinfo
coq-hott_8.16-1_amd64.buildinfo
coq-hott_8.16-1_i386.buildinfo
coq-hott_8.16-1_i386.buildinfo
coq-hott_8.16-1_arm64.buildinfo
coq-hott_8.16-1_arm64.buildinfo
coq-hott (8.16-1)_8.16-1+b1_ppc64el.buildinfo
coq-hott (8.16-1)_8.16-1+b1_s390x.buildinfo
coq-hott (8.16-1)_8.16-1+b1_amd64.buildinfo
coq-hott (8.16-1)_8.16-1+b1_i386.buildinfo
coq-hott (8.16-1)_8.16-1+b1_armhf.buildinfo
coq-hott (8.16-1)_8.16-1+b1_arm64.buildinfo
coq-hott_8.16-1_armhf.buildinfo
coq-hott_8.16-1_armhf.buildinfo
coq-hott_8.16-1_s390x.buildinfo
coq-hott_8.16-1_i386.buildinfo
coq-hott_8.16-1_ppc64el.buildinfo
coq-hott_8.16-1_amd64.buildinfo
coq-hott_8.16-1_armhf.buildinfo
coq-hott_8.16-1_arm64.buildinfo
coq-hott_8.15-4_amd64.buildinfo
coq-hott_8.15-4_amd64.buildinfo
coq-hott_8.15-4_i386.buildinfo
coq-hott_8.15-4_i386.buildinfo
coq-hott_8.15-4_armhf.buildinfo
coq-hott_8.15-4_armhf.buildinfo
coq-hott_8.15-4_arm64.buildinfo
coq-hott_8.15-4_arm64.buildinfo
coq-hott_8.15-3_armhf.buildinfo
coq-hott_8.15-3_armhf.buildinfo
coq-hott_8.15-4_armhf.buildinfo
coq-hott_8.15-4_armhf.buildinfo
coq-hott_8.15-4_i386.buildinfo
coq-hott_8.15-4_i386.buildinfo
coq-hott_8.15-4_arm64.buildinfo
coq-hott_8.15-4_arm64.buildinfo
coq-hott_8.15-4_amd64.buildinfo
coq-hott_8.15-4_amd64.buildinfo
coq-hott_8.15-4_ppc64el.buildinfo
coq-hott_8.15-4_i386.buildinfo
coq-hott_8.15-4_armhf.buildinfo
coq-hott_8.15-4_arm64.buildinfo
coq-hott_8.15-4_amd64.buildinfo
coq-hott_8.15-4_s390x.buildinfo
coq-hott_8.15-3_arm64.buildinfo
coq-hott_8.15-3_arm64.buildinfo
coq-hott_8.15-3_arm64.buildinfo
coq-hott_8.15-3_arm64.buildinfo
coq-hott_8.15-3_amd64.buildinfo
coq-hott_8.15-3_amd64.buildinfo
coq-hott_8.15-3_amd64.buildinfo
coq-hott_8.15-3_amd64.buildinfo
coq-hott_8.15-3_i386.buildinfo
coq-hott_8.15-3_i386.buildinfo
coq-hott_8.15-3_armhf.buildinfo
coq-hott_8.15-3_armhf.buildinfo
coq-hott_8.15-3_arm64.buildinfo
coq-hott_8.15-3_arm64.buildinfo
coq-hott_8.15-3_amd64.buildinfo
coq-hott_8.15-3_amd64.buildinfo
coq-hott_8.15-3_i386.buildinfo
coq-hott_8.15-3_i386.buildinfo
coq-hott_8.15-3_armhf.buildinfo
coq-hott_8.15-3_armhf.buildinfo
coq-hott_8.15-3_arm64.buildinfo
coq-hott_8.15-3_arm64.buildinfo
coq-hott_8.15-3_amd64.buildinfo
coq-hott_8.15-3_amd64.buildinfo
coq-hott_8.15-3_s390x.buildinfo
coq-hott_8.15-3_ppc64el.buildinfo
coq-hott_8.15-3_armhf.buildinfo
coq-hott_8.15-3_arm64.buildinfo
coq-hott_8.15-3_amd64.buildinfo
coq-hott_8.15-3_i386.buildinfo
coq-hott_8.15-2_i386.buildinfo
coq-hott_8.15-2_i386.buildinfo
coq-hott_8.15-2_arm64.buildinfo
coq-hott_8.15-2_arm64.buildinfo
coq-hott_8.15-2_amd64.buildinfo
coq-hott_8.15-2_amd64.buildinfo
coq-hott_8.15-2_armhf.buildinfo
coq-hott_8.15-2_armhf.buildinfo
coq-hott (8.15-2)_8.15-2+b1_amd64.buildinfo
coq-hott_8.15-2_i386.buildinfo
coq-hott_8.15-2_i386.buildinfo
coq-hott_8.15-2_armhf.buildinfo
coq-hott_8.15-2_armhf.buildinfo
coq-hott_8.15-2_arm64.buildinfo
coq-hott_8.15-2_arm64.buildinfo
coq-hott_8.15-2_amd64.buildinfo
coq-hott_8.15-2_amd64.buildinfo
coq-hott_8.15-2_s390x.buildinfo
coq-hott_8.15-2_ppc64el.buildinfo
coq-hott_8.15-2_armhf.buildinfo
coq-hott_8.15-2_arm64.buildinfo
coq-hott_8.15-2_i386.buildinfo
coq-hott_8.15-2_amd64.buildinfo