Index of /debian-ports/pool-sparc64/main/m/minizinc-ide

Icon  Name                                    Last modified      Size  Description
[DIR] 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
Apache/2.2.22 (Debian) Server at mirrors.rackhosting.com Port 80