Index of /debian-cache/pool/main/c/cvc5

 Name                                Last modified      Size  Description
 Parent Directory                                         -   
 cvc5_1.3.2.orig.tar.gz              2026-08-19 23:21  8.8M  
 libcvc5-1_1.3.2-1+b2_i386.deb       2026-08-19 23:47  8.0M  
 libcvc5-1_1.3.2-1+b2_amd64.deb      2026-08-19 23:47  7.4M  
 python3-cvc5_1.3.2-1+b2_amd64.deb   2026-08-19 23:48  377K  
 python3-cvc5_1.3.2-1+b2_i386.deb    2026-08-19 23:48  366K  
 libcvc5parser1_1.3.2-1+b2_i386.deb  2026-08-19 23:47  287K  
 libcvc5parser1_1.3.2-1+b2_amd64.deb 2026-08-19 23:47  266K  
 cvc5_1.3.2-1+b2_i386.deb            2026-08-19 23:45  142K  
 cvc5_1.3.2-1+b2_amd64.deb           2026-08-19 23:45  141K  
 libcvc5-dev_1.3.2-1+b2_amd64.deb    2026-08-19 23:47  121K  
 libcvc5-dev_1.3.2-1+b2_i386.deb     2026-08-19 23:47  121K  
 cvc5_1.3.2-1.debian.tar.xz          2026-08-19 23:21  8.3K  
 cvc5_1.3.2-1.dsc                    2026-08-19 23:21  2.4K