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

../
coq-hott_8.18-3build4.debian.tar.xz                08-Apr-2024 16:57    3128
coq-hott_8.18-3build4.dsc                          08-Apr-2024 16:57    2107
coq-hott_8.18.orig.tar.gz                          04-Sep-2023 17:09    888K
coq-hott_9.0-1build1.debian.tar.xz                 19-Feb-2025 06:25    3088
coq-hott_9.0-1build1.dsc                           19-Feb-2025 06:25    2024
coq-hott_9.0-1build2.debian.tar.xz                 20-Jun-2025 22:22    3160
coq-hott_9.0-1build2.dsc                           20-Jun-2025 22:22    2024
coq-hott_9.0-1build5.debian.tar.xz                 04-Mar-2026 06:25    3232
coq-hott_9.0-1build5.dsc                           04-Mar-2026 06:25    2024
coq-hott_9.0-1build6.debian.tar.xz                 09-Jul-2026 00:26    3268
coq-hott_9.0-1build6.dsc                           09-Jul-2026 00:26    2024
coq-hott_9.0.orig.tar.gz                           18-Feb-2025 10:39      1M
coq-hott_9.1-2.debian.tar.xz                       29-Jul-2026 02:29    2748
coq-hott_9.1-2.dsc                                 29-Jul-2026 02:29    2044
coq-hott_9.1-2build1.debian.tar.xz                 27-Aug-2026 01:19    2824
coq-hott_9.1-2build1.dsc                           27-Aug-2026 01:19    2031
coq-hott_9.1-2build2.debian.tar.xz                 27-Aug-2026 23:19    2836
coq-hott_9.1-2build2.dsc                           27-Aug-2026 23:19    2031
coq-hott_9.1-2build3.debian.tar.xz                 30-Aug-2026 15:53    2852
coq-hott_9.1-2build3.dsc                           30-Aug-2026 15:53    2031
coq-hott_9.1.orig.tar.gz                           29-Jul-2026 02:29      1M
libcoq-hott_8.18-3build4_amd64.deb                 08-Apr-2024 16:57     14M
libcoq-hott_9.0-1build1_amd64.deb                  19-Feb-2025 06:25     16M
libcoq-hott_9.0-1build2_amd64.deb                  20-Jun-2025 22:23     16M
libcoq-hott_9.0-1build2_arm64.deb                  20-Jun-2025 22:24     16M
libcoq-hott_9.0-1build5_amd64.deb                  04-Mar-2026 06:26     16M
libcoq-hott_9.0-1build5_amd64v3.deb                04-Mar-2026 06:26     16M
libcoq-hott_9.0-1build5_arm64.deb                  04-Mar-2026 06:27     16M
libcoq-hott_9.0-1build6_amd64.deb                  09-Jul-2026 06:23     16M
libcoq-hott_9.0-1build6_amd64v3.deb                09-Jul-2026 06:25     16M
libcoq-hott_9.0-1build6_arm64.deb                  09-Jul-2026 06:28     16M
libcoq-hott_9.1-2_amd64.deb                        19-Aug-2026 01:19     17M
libcoq-hott_9.1-2_amd64v3.deb                      19-Aug-2026 01:48     17M
libcoq-hott_9.1-2_arm64.deb                        26-Aug-2026 12:40     17M
libcoq-hott_9.1-2build2_arm64.deb                  27-Aug-2026 23:20     17M
libcoq-hott_9.1-2build3_amd64.deb                  30-Aug-2026 16:14     17M
libcoq-hott_9.1-2build3_amd64v3.deb                30-Aug-2026 16:14     17M
libcoq-hott_9.1-2build3_arm64.deb                  30-Aug-2026 16:14     17M