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

 Name                                            Last modified      Size  
 Parent Directory                                                     -   
 cvc5-dbgsym_1.3.2-1+b2_powerpc.deb              2026-06-29 20:03  2.0M  
 cvc5_1.3.2-1+b2_powerpc.buildinfo               2026-06-29 20:03   11K  
 cvc5_1.3.2-1+b2_powerpc.deb                     2026-06-29 20:03  131K  
 libcvc5-1-dbgsym_1.3.2-1+b2_powerpc.deb         2026-06-29 20:03  195M  
 libcvc5-1_1.3.2-1+b2_powerpc.deb                2026-06-29 20:03  6.6M  
 libcvc5-dev_1.3.2-1+b2_powerpc.deb              2026-06-29 20:03  121K  
 libcvc5parser1-dbgsym_1.3.2-1+b2_powerpc.deb    2026-06-29 20:03  4.3M  
 libcvc5parser1_1.3.2-1+b2_powerpc.deb           2026-06-29 20:03  246K  
 python3-cvc5-dbgsym_1.3.2-1+b2_powerpc.deb      2026-06-29 20:03  1.3M  
 python3-cvc5_1.3.2-1+b2_powerpc.deb             2026-06-29 20:03  317K