Apache/2.4.66 (Ubuntu) Server at ww.artfiles.org Port 443Name Last modified Size Description
Parent Directory -
scip_10.0.3+ds-1.debian.tar.xz 2026-07-13 08:29 10K
scip_10.0.3+ds-1.dsc 2026-07-13 08:29 2.3K
scip_10.0.3+ds.orig.tar.xz 2026-07-13 08:29 6.0M
scip_10.1.0+ds-2.debian.tar.xz 2026-11-09 04:17 12K
scip_10.1.0+ds-2.dsc 2026-11-09 04:17 2.4K
scip_10.1.0+ds.orig.tar.xz 2026-11-09 04:17 5.9M