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

../
scip_10.0.2+ds-1.debian.tar.xz                     29-May-2026 20:32               10552
scip_10.0.2+ds-1.dsc                               29-May-2026 20:32                2401
scip_10.0.2+ds.orig.tar.xz                         29-May-2026 20:32             6245296