Index of /canaima/pool/main/c/cvc4

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cvc4_1.8-2_i386.deb2024-08-13 13:42 81K 
[ ]libcvc4-dev_1.8-2_amd64.deb2024-08-13 13:42 128K 
[ ]libcvc4-7_1.8-2_i386.deb2024-08-13 13:42 5.9M 
[ ]cvc4_1.8-2_amd64.deb2024-08-13 13:42 80K 
[ ]libcvc4parser7_1.8-2_i386.deb2024-08-13 13:42 374K 
[ ]libcvc4-dev_1.8-2_i386.deb2024-08-13 13:42 128K 
[ ]libcvc4parser7_1.8-2_amd64.deb2024-08-13 13:42 358K 
[ ]libcvc4-7_1.8-2_amd64.deb2024-08-13 13:42 5.4M 
[ ]cvc4_1.8-3+b3_amd64.deb2024-08-15 11:03 80K 
[ ]cvc4_1.8-3+b3_i386.deb2024-08-15 11:14 82K 
[ ]libcvc4-7_1.8-3+b3_amd64.deb2024-08-16 16:36 5.7M 
[ ]libcvc4-dev_1.8-3+b3_amd64.deb2024-08-16 16:36 128K 
[ ]libcvc4parser7_1.8-3+b3_amd64.deb2024-08-16 16:36 357K 
[ ]libcvc4-7_1.8-3+b3_i386.deb2024-08-16 16:39 6.4M 
[ ]libcvc4-dev_1.8-3+b3_i386.deb2024-08-16 16:39 128K 
[ ]libcvc4parser7_1.8-3+b3_i386.deb2024-08-16 16:39 385K