Index of /debian/pool/main/s/scip

Icon  Name                                               Last modified      Size  Description
[PARENTDIR] Parent Directory                                                        -   
[   ] scip_10.0.0+ds-1.debian.tar.xz                     2026-01-28 12:59   47K  
[TXT] 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
Apache/2.4.65 (Debian) Server at mirror.schubert.si Port 443