Apache/2.4.65 (Debian) Server at mirror.schubert.si Port 443Name Last modified Size Description
Parent Directory -
scip_10.0.0+ds-1.debian.tar.xz 2026-01-28 12:59 47K
scip_10.0.0+ds-1.dsc 2026-01-28 12:59 2.3K
scip_10.0.0+ds.orig.tar.xz 2026-01-28 12:59 6.0M