Index of /canaima/pool/main/c/cvc5

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]libcvc5-dev_1.1.2-2+b2_i386.deb2024-10-30 04:29 91K 
[ ]libcvc5parser1_1.1.2-2+b2_amd64.deb2024-10-30 04:27 231K 
[ ]python3-cvc5_1.1.2-2+b2_i386.deb2024-10-30 03:41 316K 
[ ]cvc5_1.1.2-2+b2_i386.deb2024-10-30 03:27 109K 
[ ]cvc5_1.1.2-2+b2_amd64.deb2024-10-30 03:20 105K 
[ ]libcvc5-1_1.1.2-2+b2_i386.deb2024-10-30 03:20 6.9M 
[ ]libcvc5-1_1.1.2-2+b2_amd64.deb2024-10-30 02:29 6.4M 
[ ]libcvc5-dev_1.1.2-2+b2_amd64.deb2024-10-30 02:11 91K 
[ ]libcvc5parser1_1.1.2-2+b2_i386.deb2024-10-30 01:12 252K 
[ ]python3-cvc5_1.1.2-2+b2_amd64.deb2024-10-30 00:24 331K 
[ ]libcvc5parser1_1.1.2-2+b1_i386.deb2024-09-14 19:32 248K 
[ ]libcvc5-dev_1.1.2-2+b1_i386.deb2024-09-14 19:32 91K 
[ ]libcvc5-1_1.1.2-2+b1_i386.deb2024-09-14 19:32 6.7M 
[ ]libcvc5parser1_1.1.2-2+b1_amd64.deb2024-09-14 19:11 230K 
[ ]libcvc5-dev_1.1.2-2+b1_amd64.deb2024-09-14 19:11 91K 
[ ]libcvc5-1_1.1.2-2+b1_amd64.deb2024-09-14 19:11 6.1M 
[ ]cvc5_1.1.2-2+b1_i386.deb2024-09-14 18:44 111K 
[ ]cvc5_1.1.2-2+b1_amd64.deb2024-09-14 18:44 108K 
[ ]python3-cvc5_1.1.2-2+b1_i386.deb2024-09-14 17:33 310K 
[ ]python3-cvc5_1.1.2-2+b1_amd64.deb2024-09-14 17:33 328K