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

 Name                                          Last modified      Size  
 Parent Directory                                                   -   
 cvc5-dbgsym_1.3.2-1+b2_alpha.deb              2026-06-30 02:03  2.0M  
 cvc5_1.3.2-1+b2_alpha.buildinfo               2026-06-30 02:03   11K  
 cvc5_1.3.2-1+b2_alpha.deb                     2026-06-30 02:03  134K  
 libcvc5-1-dbgsym_1.3.2-1+b2_alpha.deb         2026-06-30 02:03  197M  
 libcvc5-1_1.3.2-1+b2_alpha.deb                2026-06-30 02:03  7.1M  
 libcvc5-dev_1.3.2-1+b2_alpha.deb              2026-06-30 02:03  121K  
 libcvc5parser1-dbgsym_1.3.2-1+b2_alpha.deb    2026-06-30 02:03  4.4M  
 libcvc5parser1_1.3.2-1+b2_alpha.deb           2026-06-30 02:03  247K  
 python3-cvc5-dbgsym_1.3.2-1+b2_alpha.deb      2026-06-30 02:03  1.3M  
 python3-cvc5_1.3.2-1+b2_alpha.deb             2026-06-30 02:03  324K