Index of /ubuntu-ports/pool/universe/c/coq-hott/

Index of /ubuntu-ports/pool/universe/c/coq-hott/


../
coq-hott_8.15-4.debian.tar.xz                      23-Aug-2022 00:34    2780
coq-hott_8.15-4.dsc                                23-Aug-2022 00:34    2024
coq-hott_8.15.orig.tar.gz                          09-Jul-2022 06:24    820K
coq-hott_8.16-1build3.debian.tar.xz                03-Dec-2022 16:59    2628
coq-hott_8.16-1build3.dsc                          03-Dec-2022 16:59    2023
coq-hott_8.16-2.debian.tar.xz                      25-Jan-2023 18:49    2568
coq-hott_8.16-2.dsc                                25-Jan-2023 18:49    2029
coq-hott_8.16-2build1.debian.tar.xz                26-Jan-2023 20:54    2640
coq-hott_8.16-2build1.dsc                          26-Jan-2023 20:54    2028
coq-hott_8.16-2build2.debian.tar.xz                17-Feb-2023 01:50    2648
coq-hott_8.16-2build2.dsc                          17-Feb-2023 01:50    2028
coq-hott_8.16.orig.tar.gz                          06-Nov-2022 10:17    848K
libcoq-hott_8.15-4_arm64.deb                       23-Aug-2022 04:59     16M
libcoq-hott_8.15-4_armhf.deb                       23-Aug-2022 04:59     16M
libcoq-hott_8.15-4_ppc64el.deb                     23-Aug-2022 01:29     16M
libcoq-hott_8.15-4_riscv64.deb                     23-Aug-2022 09:14     16M
libcoq-hott_8.15-4_s390x.deb                       23-Aug-2022 07:26     16M
libcoq-hott_8.16-1build3_arm64.deb                 03-Dec-2022 16:59     16M
libcoq-hott_8.16-1build3_armhf.deb                 03-Dec-2022 17:18     16M
libcoq-hott_8.16-1build3_ppc64el.deb               03-Dec-2022 16:59     16M
libcoq-hott_8.16-1build3_riscv64.deb               03-Dec-2022 18:18     16M
libcoq-hott_8.16-1build3_s390x.deb                 03-Dec-2022 16:59     16M
libcoq-hott_8.16-2build1_arm64.deb                 26-Jan-2023 20:54     16M
libcoq-hott_8.16-2build1_armhf.deb                 26-Jan-2023 20:54     16M
libcoq-hott_8.16-2build1_ppc64el.deb               26-Jan-2023 20:54     16M
libcoq-hott_8.16-2build1_riscv64.deb               27-Jan-2023 00:29     16M
libcoq-hott_8.16-2build1_s390x.deb                 26-Jan-2023 20:54     16M
libcoq-hott_8.16-2build2_arm64.deb                 17-Feb-2023 01:50     16M
libcoq-hott_8.16-2build2_armhf.deb                 17-Feb-2023 01:50     16M
libcoq-hott_8.16-2build2_ppc64el.deb               17-Feb-2023 01:50     16M
libcoq-hott_8.16-2build2_riscv64.deb               17-Feb-2023 03:13     16M
libcoq-hott_8.16-2build2_s390x.deb                 17-Feb-2023 01:50     16M