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


../
minizinc-dbgsym_2.4.2-1_ia64.deb                   11-Jan-2020 00:04            50992948
minizinc_2.4.2-1_ia64.buildinfo                    11-Jan-2020 00:04               10769
minizinc_2.4.2-1_ia64.deb                          11-Jan-2020 00:04             1830468