Index of /deepin/beige/pool/community/c/cvc4

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[TXT]cvc4_1.8-3.dsc2025-07-18 08:25 1.3K 
[ ]cvc4_1.8-3.debian.tar.xz2025-07-18 08:25 16K 
[ ]cvc4_1.8-3_arm64.deb2025-07-15 09:17 74K 
[ ]cvc4_1.8-3_riscv64.deb2025-07-15 09:17 75K 
[ ]cvc4_1.8-3_loong64.deb2025-07-15 09:17 76K 
[ ]cvc4_1.8-3_amd64.deb2025-07-15 09:18 80K 
[ ]cvc4_1.8-3_i386.deb2025-07-15 09:17 81K 
[ ]libcvc4-dev_1.8-3_i386.deb2025-07-15 09:17 128K 
[ ]libcvc4-dev_1.8-3_amd64.deb2025-07-15 09:17 128K 
[ ]libcvc4-dev_1.8-3_arm64.deb2025-07-15 09:17 128K 
[ ]libcvc4-dev_1.8-3_loong64.deb2025-07-15 09:18 128K 
[ ]libcvc4-dev_1.8-3_riscv64.deb2025-07-15 09:16 128K 
[ ]libcvc4parser7_1.8-3_arm64.deb2025-07-15 09:17 309K 
[ ]libcvc4parser7_1.8-3_riscv64.deb2025-07-15 09:17 326K 
[ ]libcvc4parser7_1.8-3_loong64.deb2025-07-15 09:17 327K 
[ ]libcvc4parser7_1.8-3_amd64.deb2025-07-15 09:16 351K 
[ ]libcvc4parser7_1.8-3_i386.deb2025-07-15 09:17 378K 
[ ]cvc4-dbgsym_1.8-3_riscv64.deb2025-07-15 09:18 855K 
[ ]cvc4-dbgsym_1.8-3_arm64.deb2025-07-15 09:18 969K 
[ ]cvc4-dbgsym_1.8-3_loong64.deb2025-07-15 09:17 970K 
[ ]cvc4-dbgsym_1.8-3_i386.deb2025-07-15 09:17 971K 
[ ]cvc4-dbgsym_1.8-3_amd64.deb2025-07-15 09:18 1.0M 
[ ]libcvc4parser7-dbgsym_1.8-3_riscv64.deb2025-07-15 09:17 4.0M 
[ ]libcvc4-7_1.8-3_arm64.deb2025-07-15 09:17 4.7M 
[ ]libcvc4parser7-dbgsym_1.8-3_arm64.deb2025-07-15 09:17 4.8M 
[ ]libcvc4parser7-dbgsym_1.8-3_i386.deb2025-07-15 09:17 4.9M 
[ ]libcvc4parser7-dbgsym_1.8-3_loong64.deb2025-07-15 09:18 4.9M 
[ ]libcvc4parser7-dbgsym_1.8-3_amd64.deb2025-07-15 09:17 5.0M 
[ ]libcvc4-7_1.8-3_loong64.deb2025-07-15 09:17 5.2M 
[ ]libcvc4-7_1.8-3_riscv64.deb2025-07-15 09:18 5.5M 
[ ]libcvc4-7_1.8-3_amd64.deb2025-07-15 09:17 5.6M 
[ ]libcvc4-7_1.8-3_i386.deb2025-07-15 09:18 6.3M 
[ ]cvc4_1.8.orig.tar.gz2025-07-18 08:25 7.2M 
[ ]libcvc4-7-dbgsym_1.8-3_riscv64.deb2025-07-15 09:18 152M 
[ ]libcvc4-7-dbgsym_1.8-3_loong64.deb2025-07-15 09:17 185M 
[ ]libcvc4-7-dbgsym_1.8-3_arm64.deb2025-07-15 09:17 185M 
[ ]libcvc4-7-dbgsym_1.8-3_i386.deb2025-07-15 09:17 185M 
[ ]libcvc4-7-dbgsym_1.8-3_amd64.deb2025-07-15 09:17 189M