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

Name Size Date
📁 ../ - -
📄 minizinc-ide-dbgsym_2.1.7-1+b1_ppc64.deb 4905428 bytes 2019-12-03 00:05:41
📄 minizinc-ide_2.1.7-1+b1_ppc64.buildinfo 10934 bytes 2019-12-03 00:05:41
📄 minizinc-ide_2.1.7-1+b1_ppc64.deb 255688 bytes 2019-12-03 00:05:41