Index of /debian/pool/main/c/coq-hott/
../
coq-hott_8.16-2.debian.tar.xz 25-Jan-2023 15:12 2568
coq-hott_8.16-2.dsc 25-Jan-2023 15:12 2029
coq-hott_8.16.orig.tar.gz 06-Sep-2022 17:09 848K
coq-hott_8.18-3.debian.tar.xz 22-Dec-2023 18:16 2888
coq-hott_8.18-3.dsc 22-Dec-2023 18:16 2029
coq-hott_8.18.orig.tar.gz 01-Sep-2023 20:20 888K
coq-hott_8.19-1.debian.tar.xz 26-Apr-2024 21:51 2908
coq-hott_8.19-1.dsc 26-Apr-2024 21:51 2029
coq-hott_8.19-2.debian.tar.xz 03-Aug-2024 23:44 2980
coq-hott_8.19-2.dsc 03-Aug-2024 23:44 1796
coq-hott_8.19.orig.tar.gz 26-Apr-2024 21:51 961K
libcoq-hott_8.16-2+b1_amd64.deb 13-Feb-2023 13:27 13M
libcoq-hott_8.16-2+b1_arm64.deb 13-Feb-2023 13:26 13M
libcoq-hott_8.16-2+b1_armhf.deb 13-Feb-2023 13:27 13M
libcoq-hott_8.16-2+b1_i386.deb 13-Feb-2023 13:26 13M
libcoq-hott_8.16-2+b1_ppc64el.deb 13-Feb-2023 13:26 13M
libcoq-hott_8.16-2+b1_s390x.deb 13-Feb-2023 13:26 13M
libcoq-hott_8.18-3_amd64.deb 22-Dec-2023 19:07 12M
libcoq-hott_8.18-3_arm64.deb 22-Dec-2023 18:57 12M
libcoq-hott_8.18-3_armhf.deb 22-Dec-2023 18:57 12M
libcoq-hott_8.18-3_i386.deb 22-Dec-2023 19:07 12M
libcoq-hott_8.18-3_ppc64el.deb 22-Dec-2023 18:57 12M
libcoq-hott_8.18-3_s390x.deb 22-Dec-2023 18:57 12M
libcoq-hott_8.19-1+b1_amd64.deb 15-Jun-2024 18:59 14M
libcoq-hott_8.19-1+b1_arm64.deb 15-Jun-2024 19:10 14M
libcoq-hott_8.19-1+b1_armhf.deb 15-Jun-2024 19:10 14M
libcoq-hott_8.19-1+b1_i386.deb 15-Jun-2024 19:05 14M
libcoq-hott_8.19-1+b1_ppc64el.deb 15-Jun-2024 18:59 14M
libcoq-hott_8.19-1+b1_riscv64.deb 15-Jun-2024 19:35 14M
libcoq-hott_8.19-1+b1_s390x.deb 16-Jun-2024 05:06 14M
libcoq-hott_8.19-1_amd64.deb 28-Apr-2024 06:08 14M
libcoq-hott_8.19-1_arm64.deb 28-Apr-2024 06:08 14M
libcoq-hott_8.19-1_armhf.deb 28-Apr-2024 06:14 14M
libcoq-hott_8.19-1_i386.deb 28-Apr-2024 01:39 14M
libcoq-hott_8.19-1_ppc64el.deb 28-Apr-2024 01:07 14M
libcoq-hott_8.19-1_riscv64.deb 28-Apr-2024 02:06 14M
libcoq-hott_8.19-1_s390x.deb 28-Apr-2024 06:41 14M
libcoq-hott_8.19-2+b1_amd64.deb 11-Aug-2024 12:59 14M
libcoq-hott_8.19-2+b1_arm64.deb 11-Aug-2024 13:24 14M
libcoq-hott_8.19-2+b1_ppc64el.deb 11-Aug-2024 13:24 14M
libcoq-hott_8.19-2+b1_riscv64.deb 11-Aug-2024 16:18 14M
libcoq-hott_8.19-2+b1_s390x.deb 04-Aug-2024 11:38 14M
libcoq-hott_8.19-2+b2_amd64.deb 21-Aug-2024 11:48 14M
libcoq-hott_8.19-2+b2_arm64.deb 21-Aug-2024 11:54 14M
libcoq-hott_8.19-2+b2_ppc64el.deb 21-Aug-2024 11:54 14M
libcoq-hott_8.19-2+b2_riscv64.deb 21-Aug-2024 13:36 14M
libcoq-hott_8.19-2+b2_s390x.deb 11-Aug-2024 15:48 14M
libcoq-hott_8.19-2+b3_ppc64el.deb 30-Aug-2024 23:10 14M
libcoq-hott_8.19-2+b3_s390x.deb 21-Aug-2024 12:04 14M
libcoq-hott_8.19-2_amd64.deb 04-Aug-2024 00:15 14M
libcoq-hott_8.19-2_arm64.deb 04-Aug-2024 00:20 14M
libcoq-hott_8.19-2_armhf.deb 04-Aug-2024 00:25 14M
libcoq-hott_8.19-2_i386.deb 04-Aug-2024 00:20 14M
libcoq-hott_8.19-2_ppc64el.deb 04-Aug-2024 00:14 14M
libcoq-hott_8.19-2_riscv64.deb 04-Aug-2024 01:00 14M
libcoq-hott_8.19-2_s390x.deb 04-Aug-2024 02:16 14M