Index of /pub/linux/debian/ubuntu/pool/universe/s/scip/

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