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

../
coq-hott_8.16-1.debian.tar.xz                      06-Sep-2022 09:09                2524
coq-hott_8.16-1.dsc                                06-Sep-2022 09:09                2024
coq-hott_8.16.orig.tar.gz                          06-Sep-2022 09:09              868101
libcoq-hott_8.16-1+b2_amd64.deb                    29-Nov-2022 23:43            14074532
libcoq-hott_8.16-1+b2_arm64.deb                    29-Nov-2022 23:59            14110656
libcoq-hott_8.16-1+b2_armhf.deb                    29-Nov-2022 23:43            14085092
libcoq-hott_8.16-1+b2_i386.deb                     29-Nov-2022 23:28            14075456
libcoq-hott_8.16-1+b2_ppc64el.deb                  30-Nov-2022 00:29            14096764
libcoq-hott_8.16-1+b2_s390x.deb                    30-Nov-2022 03:57            14082068