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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
scip_10.0.0+ds-1.debian.tar.xz 483442026-Jan-28 11:59
scip_10.0.0+ds-1.dsc 23842026-Jan-28 11:59
scip_10.0.0+ds.orig.tar.xz 62471442026-Jan-28 11:59