Name Last modified Size Description
Parent Directory -
scip_10.0.3+ds.orig...> 2026-07-13 02:29 6.0M tar archive
scip_10.1.0+ds.orig...> 2026-11-08 22:17 5.9M tar archive
scip_10.1.0+ds-2.deb..> 2026-11-08 22:17 12K tar archive
scip_10.0.3+ds-1.deb..> 2026-07-13 02:29 10K tar archive
scip_10.1.0+ds-2.dsc 2026-11-08 22:17 2.4K
scip_10.0.3+ds-1.dsc 2026-07-13 02:29 2.3K