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