Index of /kali/pool/main/c/coq-hott/

---

../
coq-hott_8.16-2.debian.tar.xz                      25-Jan-2023 14:12    2568
coq-hott_8.16-2.dsc                                25-Jan-2023 14:12    2029
coq-hott_8.16.orig.tar.gz                          06-Sep-2022 16:09    848K
coq-hott_8.17-1.debian.tar.xz                      13-Jun-2023 03:28    2604
coq-hott_8.17-1.dsc                                13-Jun-2023 03:28    2029
coq-hott_8.17.orig.tar.gz                          13-Jun-2023 03:28    887K
libcoq-hott_8.16-1+b1_amd64.deb                    08-Sep-2022 02:41     13M
libcoq-hott_8.16-1+b1_arm64.deb                    08-Sep-2022 02:56     13M
libcoq-hott_8.16-1+b1_armhf.deb                    08-Sep-2022 02:56     13M
libcoq-hott_8.16-1+b1_i386.deb                     08-Sep-2022 02:36     13M
libcoq-hott_8.16-1+b2_amd64.deb                    30-Nov-2022 06:43     13M
libcoq-hott_8.16-1+b2_arm64.deb                    30-Nov-2022 06:59     13M
libcoq-hott_8.16-1+b2_armhf.deb                    30-Nov-2022 06:43     13M
libcoq-hott_8.16-1+b2_i386.deb                     30-Nov-2022 06:28     13M
libcoq-hott_8.16-2+b1_amd64.deb                    13-Feb-2023 12:27     13M
libcoq-hott_8.16-2+b1_arm64.deb                    13-Feb-2023 12:26     13M
libcoq-hott_8.16-2+b1_armhf.deb                    13-Feb-2023 12:27     13M
libcoq-hott_8.16-2+b1_i386.deb                     13-Feb-2023 12:26     13M
libcoq-hott_8.17-1+b1_arm64.deb                    16-Jun-2023 22:10     14M
libcoq-hott_8.17-1_amd64.deb                       13-Jun-2023 06:14     14M
libcoq-hott_8.17-1_armhf.deb                       13-Jun-2023 10:58     14M
libcoq-hott_8.17-1_i386.deb                        13-Jun-2023 07:25     14M

---