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

 Name                                        Last modified      Size  
 Parent Directory                                                 -   
 libscip-dev_10.1.0+ds-2_sh4.deb             2026-10-27 19:03  710K  
 libscip10.0-dbgsym_10.1.0+ds-2_sh4.deb      2026-10-27 19:03   46M  
 libscip10.0_10.1.0+ds-2_sh4.deb             2026-10-27 19:03  6.4M  
 scip-dbgsym_10.1.0+ds-2_sh4.deb             2026-10-27 19:03   45M  
 scip_10.1.0+ds-2_sh4.buildinfo              2026-10-27 19:03   10K  
 scip_10.1.0+ds-2_sh4.deb                    2026-10-27 19:03  5.3M