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

../
scip_10.0.3+ds-1.debian.tar.xz                     12-Sep-2026 16:25     10K
scip_10.0.3+ds-1.dsc                               12-Sep-2026 16:25    2401
scip_10.0.3+ds.orig.tar.xz                         12-Sep-2026 16:25      6M