Apache/2.2.22 (Debian) Server at mirrors.rackhosting.com Port 80Name Last modified Size Description
Parent Directory -
minizinc-ide-dbgsym_2.1.7-1_sparc64.deb 23-Dec-2018 01:04 4.5M
minizinc-ide_2.1.7-1_sparc64.buildinfo 23-Dec-2018 01:04 10K
minizinc-ide_2.1.7-1_sparc64.deb 23-Dec-2018 01:04 218K