Index of /debian-ports/pool-ppc64/main/m/minizinc

Icon  Name                              Last modified      Size  Description
[DIR] Parent Directory                                       -   
[   ] minizinc-dbgsym_2.4.3-2_ppc64.deb 13-May-2020 14:03   30M  
[   ] minizinc_2.4.3-2_ppc64.buildinfo  13-May-2020 14:03   11K  
[   ] minizinc_2.4.3-2_ppc64.deb        13-May-2020 14:03  1.3M
Apache/2.2.22 (Debian) Server at mirrors.rackhosting.com Port 80