Index of /linux/debian/debian-ports/pool-x32/main/c/cvc5

 Name                                        Last modified      Size  
 Parent Directory                                                 -   
 cvc5-dbgsym_1.1.2-3_x32.deb                 2025-08-12 08:03  1.8M  
 cvc5_1.1.2-3_x32.buildinfo                  2025-08-12 08:03   11K  
 cvc5_1.1.2-3_x32.deb                        2025-08-12 08:03  107K  
 libcvc5-1-dbgsym_1.1.2-3_x32.deb            2025-08-12 08:03  173M  
 libcvc5-1_1.1.2-3_x32.deb                   2025-08-12 08:03  6.5M  
 libcvc5-dev_1.1.2-3_x32.deb                 2025-08-12 08:03   91K  
 libcvc5parser1-dbgsym_1.1.2-3_x32.deb       2025-08-12 08:03  3.9M  
 libcvc5parser1_1.1.2-3_x32.deb              2025-08-12 08:03  234K  
 python3-cvc5-dbgsym_1.1.2-3_x32.deb         2025-08-12 08:03  2.5M  
 python3-cvc5_1.1.2-3_x32.deb                2025-08-12 08:03  342K