Index of /packages/pool/main/c/coq-reglang

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]libcoq-reglang_1.2.1-4build21_riscv64.deb2026-03-07 20:20 970K 
[ ]libcoq-reglang_1.2.1-4build21_ppc64el.deb2026-03-07 19:04 970K 
[ ]libcoq-reglang_1.2.1-4build21_arm64.deb2026-03-07 19:03 970K 
[ ]libcoq-reglang_1.2.1-4build21_amd64.deb2026-03-07 19:01 970K 
[ ]libcoq-reglang_1.2.1-1build5_riscv64.deb2024-04-09 05:15 805K 
[ ]libcoq-reglang_1.2.1-1build5_ppc64el.deb2024-04-08 14:36 805K 
[ ]libcoq-reglang_1.2.1-1build5_armhf.deb2024-04-08 14:36 805K 
[ ]libcoq-reglang_1.2.1-1build5_arm64.deb2024-04-08 14:36 805K 
[ ]libcoq-reglang_1.2.1-1build5_amd64.deb2024-04-08 14:36 805K 
[ ]libcoq-reglang_1.2.1-1build2_riscv64.deb2024-03-30 01:18 805K 
[ ]libcoq-reglang_1.2.1-1build2_ppc64el.deb2024-02-17 15:52 805K 
[ ]libcoq-reglang_1.2.1-1build2_armhf.deb2024-03-30 00:53 805K 
[ ]libcoq-reglang_1.2.1-1build2_arm64.deb2024-03-30 00:45 805K 
[ ]libcoq-reglang_1.2.1-1build2_amd64.deb2024-02-17 15:52 805K 
[ ]coq-reglang_1.2.1.orig.tar.gz2024-01-21 05:45 68K 
[TXT]coq-reglang_1.2.1-4build21.dsc2026-03-07 19:00 2.1K 
[ ]coq-reglang_1.2.1-4build21.debian.tar.xz2026-03-07 19:00 8.9K 
[TXT]coq-reglang_1.2.1-1build5.dsc2024-04-08 07:57 2.1K 
[ ]coq-reglang_1.2.1-1build5.debian.tar.xz2024-04-08 07:57 8.6K 
[TXT]coq-reglang_1.2.1-1build2.dsc2024-02-17 00:37 2.1K 
[ ]coq-reglang_1.2.1-1build2.debian.tar.xz2024-02-17 00:37 8.4K