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

Icon  Name                                Last modified      Size  Description
[PARENTDIR] Parent Directory                                         -   
[   ] libscip-dev_10.0.2+ds-1_riscv64.deb 2026-06-02 13:36  506K  
[   ] libscip10.0_10.0.2+ds-1_riscv64.deb 2026-06-02 13:36  5.1M  
[   ] scip_10.0.2+ds-1.debian.tar.xz      2026-05-29 14:32   10K  
[TXT] scip_10.0.2+ds-1.dsc                2026-05-29 14:32  2.3K  
[   ] scip_10.0.2+ds-1_riscv64.deb        2026-06-02 13:36  5.0M  
[   ] scip_10.0.2+ds.orig.tar.xz          2026-05-29 14:32  6.0M
Apache/2.4.58 (Ubuntu) Server at ftp.de.netbsd.org Port 80