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

 Name                                         Last modified      Size  
 Parent Directory                                                  -   
 cvc5-dbgsym_1.3.2-1+b2_hppa.deb              2026-06-30 02:03  2.0M  
 cvc5_1.3.2-1+b2_hppa.buildinfo               2026-06-30 02:03   11K  
 cvc5_1.3.2-1+b2_hppa.deb                     2026-06-30 02:03  135K  
 libcvc5-1-dbgsym_1.3.2-1+b2_hppa.deb         2026-06-30 02:03  193M  
 libcvc5-1_1.3.2-1+b2_hppa.deb                2026-06-30 02:03  7.1M  
 libcvc5-dev_1.3.2-1+b2_hppa.deb              2026-06-30 02:03  121K  
 libcvc5parser1-dbgsym_1.3.2-1+b2_hppa.deb    2026-06-30 02:03  4.3M  
 libcvc5parser1_1.3.2-1+b2_hppa.deb           2026-06-30 02:03  262K  
 python3-cvc5-dbgsym_1.3.2-1+b2_hppa.deb      2026-06-30 02:03  1.3M  
 python3-cvc5_1.3.2-1+b2_hppa.deb             2026-06-30 02:03  326K