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

Name Size Date
📁 ../ - -
📄 libscip-dev_10.1.0+ds-2_sh4.deb 727188 bytes 2026-10-27 18:03:29
📄 libscip10.0-dbgsym_10.1.0+ds-2_sh4.deb 48426920 bytes 2026-10-27 18:03:29
📄 libscip10.0_10.1.0+ds-2_sh4.deb 6690380 bytes 2026-10-27 18:03:29
📄 scip-dbgsym_10.1.0+ds-2_sh4.deb 47659036 bytes 2026-10-27 18:03:29
📄 scip_10.1.0+ds-2_sh4.buildinfo 10236 bytes 2026-10-27 18:03:29
📄 scip_10.1.0+ds-2_sh4.deb 5507124 bytes 2026-10-27 18:03:29