Index of /linux/debian/debian-ports/pool-ppc64/main/c/cvc4

 Name                                          Last modified      Size  
 Parent Directory                                                   -   
 cvc4-dbgsym_1.8-5+b1_ppc64.deb                2026-04-23 20:03  971K  
 cvc4_1.8-5+b1_ppc64.buildinfo                 2026-04-23 20:03  9.9K  
 cvc4_1.8-5+b1_ppc64.deb                       2026-04-23 20:03   77K  
 libcvc4-7-dbgsym_1.8-5+b1_ppc64.deb           2026-04-23 20:03  184M  
 libcvc4-7_1.8-5+b1_ppc64.deb                  2026-04-23 20:03  5.7M  
 libcvc4-dev_1.8-5+b1_ppc64.deb                2026-04-23 20:03  128K  
 libcvc4parser7-dbgsym_1.8-5+b1_ppc64.deb      2026-04-23 20:03  5.1M  
 libcvc4parser7_1.8-5+b1_ppc64.deb             2026-04-23 20:03  364K