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

      Name                           Last modified      Size  Description
      Parent Directory                                    -   
      scip_10.0.3+ds-1.debian.tar.xz 2026-07-13 02:29   10K  
      scip_10.0.3+ds-1.dsc           2026-07-13 02:29  2.3K  
      scip_10.0.3+ds.orig.tar.xz     2026-07-13 02:29  6.0M