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
coq-hott_8.20-1.debian.tar.xz 20-Nov-2024 17:57 2988
coq-hott_8.20-1.dsc 20-Nov-2024 17:57 2032
coq-hott_8.20.orig.tar.gz 20-Nov-2024 17:57 1M
coq-hott_9.0-1.debian.tar.xz 18-Feb-2025 00:37 3012
coq-hott_9.0-1.dsc 18-Feb-2025 00:37 2037
coq-hott_9.0.orig.tar.gz 18-Feb-2025 00:37 1M
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
libcoq-hott_8.20-1+b1_arm64.deb 21-Nov-2024 00:40 14M
libcoq-hott_8.20-1+b1_ppc64el.deb 21-Nov-2024 00:40 14M
libcoq-hott_8.20-1+b1_riscv64.deb 30-Jan-2025 22:43 14M
libcoq-hott_8.20-1+b1_s390x.deb 21-Nov-2024 11:56 14M
libcoq-hott_8.20-1+b2_amd64.deb 21-Nov-2024 00:41 14M
libcoq-hott_8.20-1+b2_arm64.deb 30-Jan-2025 15:21 14M
libcoq-hott_8.20-1+b2_ppc64el.deb 30-Jan-2025 15:16 14M
libcoq-hott_8.20-1+b2_riscv64.deb 14-Feb-2025 15:16 14M
libcoq-hott_8.20-1+b2_s390x.deb 30-Jan-2025 15:42 14M
libcoq-hott_8.20-1+b3_amd64.deb 30-Jan-2025 15:22 14M
libcoq-hott_8.20-1+b3_arm64.deb 14-Feb-2025 13:33 14M
libcoq-hott_8.20-1+b3_ppc64el.deb 14-Feb-2025 13:23 14M
libcoq-hott_8.20-1+b3_s390x.deb 14-Feb-2025 14:35 14M
libcoq-hott_8.20-1+b4_amd64.deb 14-Feb-2025 13:23 14M
libcoq-hott_8.20-1_riscv64.deb 20-Nov-2024 23:17 14M
libcoq-hott_9.0-1+b1_amd64.deb 18-Feb-2025 08:15 14M
libcoq-hott_9.0-1+b1_arm64.deb 18-Feb-2025 08:35 14M
libcoq-hott_9.0-1+b1_ppc64el.deb 18-Feb-2025 08:20 14M
libcoq-hott_9.0-1+b1_riscv64.deb 18-Feb-2025 10:17 14M
libcoq-hott_9.0-1+b1_s390x.deb 18-Feb-2025 23:55 14M
libcoq-hott_9.0-1+b2_amd64.deb 15-Jun-2025 18:49 14M
libcoq-hott_9.0-1+b2_arm64.deb 15-Jun-2025 18:49 14M
libcoq-hott_9.0-1+b2_ppc64el.deb 15-Jun-2025 18:49 14M
libcoq-hott_9.0-1+b2_riscv64.deb 15-Jun-2025 19:25 14M
libcoq-hott_9.0-1_s390x.deb 18-Feb-2025 11:43 14M