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

 Name                                         Last modified      Size  
 Parent Directory                                                  -   
 cvc5-dbgsym_1.3.2-1+b2_m68k.deb              2026-06-29 20:03  1.9M  
 cvc5_1.3.2-1+b2_m68k.buildinfo               2026-06-29 20:03   10K  
 cvc5_1.3.2-1+b2_m68k.deb                     2026-06-29 20:03  136K  
 libcvc5-1-dbgsym_1.3.2-1+b2_m68k.deb         2026-06-29 20:03  184M  
 libcvc5-1_1.3.2-1+b2_m68k.deb                2026-06-29 20:03  7.2M  
 libcvc5-dev_1.3.2-1+b2_m68k.deb              2026-06-29 20:03  121K  
 libcvc5parser1-dbgsym_1.3.2-1+b2_m68k.deb    2026-06-29 20:03  3.9M  
 libcvc5parser1_1.3.2-1+b2_m68k.deb           2026-06-29 20:03  262K  
 python3-cvc5-dbgsym_1.3.2-1+b2_m68k.deb      2026-06-29 20:03  1.3M  
 python3-cvc5_1.3.2-1+b2_m68k.deb             2026-06-29 20:03  334K