Index of /linux/debian/debian-ports/pool-ppc64/main/s/scip

 Name                                          Last modified      Size  
 Parent Directory                                                   -   
 libscip-dev_10.1.0+ds-2_ppc64.deb             2026-10-23 02:03  710K  
 libscip10.0-dbgsym_10.1.0+ds-2_ppc64.deb      2026-10-23 02:03   40M  
 libscip10.0_10.1.0+ds-2_ppc64.deb             2026-10-23 02:03  5.2M  
 scip-dbgsym_10.1.0+ds-2_ppc64.deb             2026-10-23 02:03   41M  
 scip_10.1.0+ds-2_ppc64.buildinfo              2026-10-23 02:03   12K  
 scip_10.1.0+ds-2_ppc64.deb                    2026-10-23 02:03  5.1M