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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cvc5_1.1.2-3_powerpc.buildinfo2025-08-11 20:03 11K 
[ ]cvc5_1.3.2-1_powerpc.buildinfo2025-12-24 07:03 11K 
[ ]libcvc5-dev_1.1.2-3_powerpc.deb2025-08-11 20:03 91K 
[ ]cvc5_1.1.2-3_powerpc.deb2025-08-11 20:03 98K 
[ ]libcvc5-dev_1.3.2-1_powerpc.deb2025-12-24 07:03 121K 
[ ]cvc5_1.3.2-1_powerpc.deb2025-12-24 07:03 130K 
[ ]libcvc5parser1_1.1.2-3_powerpc.deb2025-08-11 20:03 215K 
[ ]libcvc5parser1_1.3.2-1_powerpc.deb2025-12-24 07:03 245K 
[ ]python3-cvc5_1.1.2-3_powerpc.deb2025-08-11 20:03 270K 
[ ]python3-cvc5_1.3.2-1_powerpc.deb2025-12-24 07:03 317K 
[ ]python3-cvc5-dbgsym_1.3.2-1_powerpc.deb2025-12-24 07:03 1.3M 
[ ]cvc5-dbgsym_1.1.2-3_powerpc.deb2025-08-11 20:03 1.8M 
[ ]cvc5-dbgsym_1.3.2-1_powerpc.deb2025-12-24 07:03 2.0M 
[ ]python3-cvc5-dbgsym_1.1.2-3_powerpc.deb2025-08-11 20:03 2.4M 
[ ]libcvc5parser1-dbgsym_1.1.2-3_powerpc.deb2025-08-11 20:03 3.8M 
[ ]libcvc5parser1-dbgsym_1.3.2-1_powerpc.deb2025-12-24 07:03 4.3M 
[ ]libcvc5-1_1.1.2-3_powerpc.deb2025-08-11 20:03 5.7M 
[ ]libcvc5-1_1.3.2-1_powerpc.deb2025-12-24 07:03 6.6M 
[ ]libcvc5-1-dbgsym_1.1.2-3_powerpc.deb2025-08-11 20:03 171M 
[ ]libcvc5-1-dbgsym_1.3.2-1_powerpc.deb2025-12-24 07:03 195M 
Apache/2.4.65 (Debian) Server at ftp.polytech-lille.fr Port 80