Filename Modification time Size coq-hott_8.18-3build4.debian.tar.xz 2024-04-08 09:57 CEST 3128 B coq-hott_8.18-3build4.dsc 2024-04-08 09:57 CEST 2107 B coq-hott_8.18.orig.tar.gz 2023-09-04 10:09 CEST 888 KiB coq-hott_9.0-1build1.debian.tar.xz 2025-02-18 22:25 CET 3088 B coq-hott_9.0-1build1.dsc 2025-02-18 22:25 CET 2024 B coq-hott_9.0-1build2.debian.tar.xz 2025-06-20 15:22 CEST 3160 B coq-hott_9.0-1build2.dsc 2025-06-20 15:22 CEST 2024 B coq-hott_9.0-1build5.debian.tar.xz 2026-03-03 22:25 CET 3232 B coq-hott_9.0-1build5.dsc 2026-03-03 22:25 CET 2024 B coq-hott_9.0.orig.tar.gz 2025-02-18 02:39 CET 1093 KiB coq-hott_9.1-2build1.debian.tar.xz 2026-08-26 18:19 CEST 2824 B coq-hott_9.1-2build1.dsc 2026-08-26 18:19 CEST 2031 B coq-hott_9.1-2build2.debian.tar.xz 2026-08-27 16:19 CEST 2836 B coq-hott_9.1-2build2.dsc 2026-08-27 16:19 CEST 2031 B coq-hott_9.1.orig.tar.gz 2026-07-28 19:29 CEST 1157 KiB libcoq-hott_8.18-3build4_amd64.deb 2024-04-08 09:57 CEST 14 MiB libcoq-hott_9.0-1build1_amd64.deb 2025-02-18 22:25 CET 16 MiB libcoq-hott_9.0-1build2_amd64.deb 2025-06-20 15:23 CEST 16 MiB libcoq-hott_9.0-1build2_arm64.deb 2025-06-20 15:24 CEST 16 MiB libcoq-hott_9.0-1build5_amd64.deb 2026-03-03 22:26 CET 16 MiB libcoq-hott_9.0-1build5_amd64v3.deb 2026-03-03 22:26 CET 16 MiB libcoq-hott_9.0-1build5_arm64.deb 2026-03-03 22:27 CET 16 MiB libcoq-hott_9.1-2_amd64.deb 2026-08-18 18:19 CEST 17 MiB libcoq-hott_9.1-2_amd64v3.deb 2026-08-18 18:48 CEST 17 MiB libcoq-hott_9.1-2_arm64.deb 2026-08-26 05:40 CEST 17 MiB libcoq-hott_9.1-2build2_arm64.deb 2026-08-27 16:20 CEST 17 MiB
