Index of /pool/universe/c/coq-quickchick

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]libcoq-quickchick-dbgsym_2.0.2-1build5_amd64.ddeb2024-04-08 14:37 36K 
[ ]libcoq-quickchick-dbgsym_2.0.2-1build5_arm64.ddeb2024-04-08 14:37 44K 
[ ]libcoq-quickchick-dbgsym_2.0.2-1build5_armhf.ddeb2024-04-08 14:37 43K 
[ ]libcoq-quickchick-dbgsym_2.0.2-1build5_ppc64el.ddeb2024-04-08 14:37 37K 
[ ]libcoq-quickchick-dbgsym_2.0.2-1build5_riscv64.ddeb2024-04-09 07:36 37K 
[ ]libcoq-quickchick-dbgsym_2.0.2-1build5_s390x.ddeb2024-04-08 14:37 35K 
[ ]libcoq-quickchick-dbgsym_2.1.0-1.1build5_amd64.ddeb2026-03-07 19:14 88K 
[ ]libcoq-quickchick-dbgsym_2.1.0-1.1build5_amd64v3.ddeb2026-04-24 20:16 88K 
[ ]libcoq-quickchick-dbgsym_2.1.0-1.1build5_arm64.ddeb2026-03-07 19:14 83K 
[ ]libcoq-quickchick-dbgsym_2.1.0-1.1build5_ppc64el.ddeb2026-03-07 19:13 74K 
[ ]libcoq-quickchick-dbgsym_2.1.0-1.1build5_riscv64.ddeb2026-03-07 20:14 79K 
[ ]libcoq-quickchick-dbgsym_2.1.0-1.1build5_s390x.ddeb2026-03-07 19:14 78K 
[ ]libcoq-quickchick-dbgsym_2.1.0-1build4_amd64.ddeb2025-09-01 20:10 88K 
[ ]libcoq-quickchick-dbgsym_2.1.0-1build4_arm64.ddeb2025-09-01 20:10 83K 
[ ]libcoq-quickchick-dbgsym_2.1.0-1build4_ppc64el.ddeb2025-09-01 20:10 74K 
[ ]libcoq-quickchick-dbgsym_2.1.0-1build4_riscv64.ddeb2025-09-03 19:22 79K 
[ ]libcoq-quickchick-dbgsym_2.1.0-1build4_s390x.ddeb2025-09-01 20:10 53K 
[ ]quickchick-dbgsym_2.1.0-1.1build5_amd64.ddeb2026-03-07 19:14 170K 
[ ]quickchick-dbgsym_2.1.0-1.1build5_amd64v3.ddeb2026-04-24 19:45 170K 
[ ]quickchick-dbgsym_2.1.0-1.1build5_arm64.ddeb2026-03-07 19:13 170K 
[ ]quickchick-dbgsym_2.1.0-1.1build5_ppc64el.ddeb2026-03-07 19:13 152K 
[ ]quickchick-dbgsym_2.1.0-1.1build5_riscv64.ddeb2026-03-07 20:14 165K 
[ ]quickchick-dbgsym_2.1.0-1.1build5_s390x.ddeb2026-03-07 19:14 165K 
[ ]quickchick-dbgsym_2.1.0-1build4_amd64.ddeb2025-09-01 20:10 166K 
[ ]quickchick-dbgsym_2.1.0-1build4_arm64.ddeb2025-09-01 20:10 168K 
[ ]quickchick-dbgsym_2.1.0-1build4_ppc64el.ddeb2025-09-01 20:10 149K 
[ ]quickchick-dbgsym_2.1.0-1build4_riscv64.ddeb2025-09-03 19:22 162K 
[ ]quickchick-dbgsym_2.1.0-1build4_s390x.ddeb2025-09-01 20:10 122K 
Apache/2.4.29 (Ubuntu) Server at ddebs.ubuntu.com Port 80