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

 NameLast modifiedSize
 Parent Directory   -
 scip_10.0.2+ds-1.debian.tar.xz 2026-05-29 15:32 10K
 scip_10.0.2+ds-1.dsc 2026-05-29 15:32 2.3K
 scip_10.0.2+ds.orig.tar.xz 2026-05-29 15:32 6.0M