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

../
scip_10.0.3+ds-1.debian.tar.xz                     13-Jul-2026 14:29               10360
scip_10.0.3+ds-1.dsc                               13-Jul-2026 14:29                2401
scip_10.0.3+ds.orig.tar.xz                         13-Jul-2026 14:29             6247456