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

../
libscip-dev_10.0.3+ds-1_riscv64.deb                14-Jul-2026 05:05    506K
libscip10.0_10.0.3+ds-1_riscv64.deb                14-Jul-2026 05:05      5M
scip_10.0.3+ds-1.debian.tar.xz                     13-Jul-2026 15:29     10K
scip_10.0.3+ds-1.dsc                               13-Jul-2026 15:29    2401
scip_10.0.3+ds-1_riscv64.deb                       14-Jul-2026 05:05      5M
scip_10.0.3+ds.orig.tar.xz                         13-Jul-2026 15:29      6M