Index of /ubuntu/pool/universe/s/scip

      Name                           Last modified      Size  Description
Parent Directory - scip_10.0.3+ds-1.debian.tar.xz 2026-07-13 02:29 10K scip_10.0.3+ds-1.dsc 2026-07-13 02:29 2.3K scip_10.0.3+ds.orig.tar.xz 2026-07-13 02:29 6.0M scip_10.1.0+ds-2.debian.tar.xz 2026-11-08 22:17 12K scip_10.1.0+ds-2.dsc 2026-11-08 22:17 2.4K scip_10.1.0+ds.orig.tar.xz 2026-11-08 22:17 5.9M