Index of /debian-ports/pool-ppc64/main/c/cvc5

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]python3-cvc5_1.3.2-1+b2_ppc64.deb2026-06-29 02:03 331K 
[ ]python3-cvc5-dbgsym_1.3.2-1+b2_ppc64.deb2026-06-29 02:03 1.3M 
[ ]libcvc5parser1_1.3.2-1+b2_ppc64.deb2026-06-29 02:03 260K 
[ ]libcvc5parser1-dbgsym_1.3.2-1+b2_ppc64.deb2026-06-29 02:03 4.4M 
[ ]libcvc5-dev_1.3.2-1+b2_ppc64.deb2026-06-29 02:03 121K 
[ ]libcvc5-1_1.3.2-1+b2_ppc64.deb2026-06-29 02:03 6.7M 
[ ]libcvc5-1-dbgsym_1.3.2-1+b2_ppc64.deb2026-06-29 02:03 195M 
[ ]cvc5_1.3.2-1+b2_ppc64.deb2026-06-29 02:03 133K 
[ ]cvc5_1.3.2-1+b2_ppc64.buildinfo2026-06-29 02:03 11K 
[ ]cvc5-dbgsym_1.3.2-1+b2_ppc64.deb2026-06-29 02:03 2.0M 
[ ]python3-cvc5_1.3.2-1+b1_ppc64.deb2026-04-23 20:03 329K 
[ ]python3-cvc5-dbgsym_1.3.2-1+b1_ppc64.deb2026-04-23 20:03 1.3M 
[ ]libcvc5parser1_1.3.2-1+b1_ppc64.deb2026-04-23 20:03 260K 
[ ]libcvc5parser1-dbgsym_1.3.2-1+b1_ppc64.deb2026-04-23 20:03 4.4M 
[ ]libcvc5-dev_1.3.2-1+b1_ppc64.deb2026-04-23 20:03 121K 
[ ]libcvc5-1_1.3.2-1+b1_ppc64.deb2026-04-23 20:03 6.7M 
[ ]libcvc5-1-dbgsym_1.3.2-1+b1_ppc64.deb2026-04-23 20:03 195M 
[ ]cvc5_1.3.2-1+b1_ppc64.deb2026-04-23 20:03 132K 
[ ]cvc5_1.3.2-1+b1_ppc64.buildinfo2026-04-23 20:03 11K 
[ ]cvc5-dbgsym_1.3.2-1+b1_ppc64.deb2026-04-23 20:03 2.0M 
Apache/2.4.67 (Debian) Server at ftp.polytech-lille.fr Port 80