Index of /debian-ports/pool-alpha/main/s/scip/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libscip-dev_10.0.2+ds-1_alpha.deb 7191242026-Apr-05 09:03
libscip10.0-dbgsym_10.0.2+ds-1_alpha.deb 263492602026-Apr-05 09:03
libscip10.0_10.0.2+ds-1_alpha.deb 44789682026-Apr-05 09:03
scip-dbgsym_10.0.2+ds-1_alpha.deb 266719842026-Apr-05 09:03
scip_10.0.2+ds-1_alpha.buildinfo 114492026-Apr-05 09:03
scip_10.0.2+ds-1_alpha.deb 43277682026-Apr-05 09:03