Facebook Mirror

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory   -
[ ]coq-hott_8.18-3build4.debian.tar.xz 2024-04-08 00:57 3.1K
[TXT]coq-hott_8.18-3build4.dsc 2024-04-08 00:57 2.1K
[ ]coq-hott_8.18.orig.tar.gz 2023-09-04 01:09 888K
[ ]coq-hott_9.0-1build1.debian.tar.xz 2025-02-18 13:25 3.0K
[TXT]coq-hott_9.0-1build1.dsc 2025-02-18 13:25 2.0K
[ ]coq-hott_9.0-1build2.debian.tar.xz 2025-06-20 06:22 3.1K
[TXT]coq-hott_9.0-1build2.dsc 2025-06-20 06:22 2.0K
[ ]coq-hott_9.0-1build5.debian.tar.xz 2026-03-03 13:25 3.2K
[TXT]coq-hott_9.0-1build5.dsc 2026-03-03 13:25 2.0K
[ ]coq-hott_9.0.orig.tar.gz 2025-02-17 17:39 1.1M
[ ]coq-hott_9.1-2build4.debian.tar.xz 2026-09-10 00:03 2.8K
[TXT]coq-hott_9.1-2build4.dsc 2026-09-10 00:03 2.0K
[ ]coq-hott_9.1-2build5.debian.tar.xz 2026-09-18 05:50 2.8K
[TXT]coq-hott_9.1-2build5.dsc 2026-09-18 05:50 2.0K
[ ]coq-hott_9.1.orig.tar.gz 2026-07-28 10:29 1.1M
[ ]libcoq-hott_8.18-3build4_amd64.deb 2024-04-08 00:57 14M
[ ]libcoq-hott_9.0-1build1_amd64.deb 2025-02-18 13:25 16M
[ ]libcoq-hott_9.0-1build2_amd64.deb 2025-06-20 06:23 16M
[ ]libcoq-hott_9.0-1build2_arm64.deb 2025-06-20 06:24 16M
[ ]libcoq-hott_9.0-1build5_amd64.deb 2026-03-03 13:26 16M
[ ]libcoq-hott_9.0-1build5_amd64v3.deb 2026-03-03 13:26 16M
[ ]libcoq-hott_9.0-1build5_arm64.deb 2026-03-03 13:27 16M
[ ]libcoq-hott_9.1-2build4_amd64.deb 2026-09-10 00:33 17M
[ ]libcoq-hott_9.1-2build4_amd64v3.deb 2026-09-10 00:33 17M
[ ]libcoq-hott_9.1-2build4_arm64.deb 2026-09-10 01:02 17M
[ ]libcoq-hott_9.1-2build5_amd64.deb 2026-09-18 07:17 17M
[ ]libcoq-hott_9.1-2build5_amd64v3.deb 2026-09-18 07:18 17M
[ ]libcoq-hott_9.1-2build5_arm64.deb 2026-09-18 07:18 17M