Facebook Mirror

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory   -
[ ]coq-reglang_1.2.1-1build5.debian.tar.xz 2024-04-08 00:57 8.6K
[TXT]coq-reglang_1.2.1-1build5.dsc 2024-04-08 00:57 2.1K
[ ]coq-reglang_1.2.1-4build12.debian.tar.xz 2025-02-18 23:52 8.7K
[TXT]coq-reglang_1.2.1-4build12.dsc 2025-02-18 23:52 2.1K
[ ]coq-reglang_1.2.1-4build16.debian.tar.xz 2025-08-31 12:42 8.8K
[TXT]coq-reglang_1.2.1-4build16.dsc 2025-08-31 12:42 2.1K
[ ]coq-reglang_1.2.1-4build21.debian.tar.xz 2026-03-07 11:00 8.9K
[TXT]coq-reglang_1.2.1-4build21.dsc 2026-03-07 11:00 2.1K
[ ]coq-reglang_1.2.1.orig.tar.gz 2024-01-20 21:45 68K
[ ]coq-reglang_1.2.2-5.debian.tar.xz 2026-08-12 17:17 9.4K
[TXT]coq-reglang_1.2.2-5.dsc 2026-08-12 17:17 2.1K
[ ]coq-reglang_1.2.2-5build1.debian.tar.xz 2026-09-19 23:48 9.5K
[TXT]coq-reglang_1.2.2-5build1.dsc 2026-09-19 23:48 2.1K
[ ]coq-reglang_1.2.2.orig.tar.gz 2026-07-29 16:27 68K
[ ]libcoq-reglang_1.2.1-1build5_amd64.deb 2024-04-08 07:36 805K
[ ]libcoq-reglang_1.2.1-4build12_amd64.deb 2025-02-19 20:20 972K
[ ]libcoq-reglang_1.2.1-4build16_amd64.deb 2025-09-01 12:52 970K
[ ]libcoq-reglang_1.2.1-4build16_arm64.deb 2025-09-01 12:52 970K
[ ]libcoq-reglang_1.2.1-4build21_amd64.deb 2026-03-07 11:01 970K
[ ]libcoq-reglang_1.2.1-4build21_amd64v3.deb 2026-03-07 11:02 970K
[ ]libcoq-reglang_1.2.1-4build21_arm64.deb 2026-03-07 11:03 970K
[ ]libcoq-reglang_1.2.2-5build1_amd64.deb 2026-09-19 23:48 1.0M
[ ]libcoq-reglang_1.2.2-5build1_amd64v3.deb 2026-09-19 23:48 1.0M
[ ]libcoq-reglang_1.2.2-5build1_arm64.deb 2026-09-19 23:48 1.0M
[ ]libcoq-reglang_1.2.2-5_amd64.deb 2026-09-15 20:17 1.0M
[ ]libcoq-reglang_1.2.2-5_amd64v3.deb 2026-09-15 20:17 1.0M
[ ]libcoq-reglang_1.2.2-5_arm64.deb 2026-09-15 21:12 1.0M