File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
minizinc-ide_2.0.14-1+b1_armel.deb218.9 KiB2017-Mar-19 07:57
minizinc-ide_2.0.14-1+b1_mips64el.deb234.9 KiB2017-Mar-19 05:12
minizinc-ide_2.0.14-1+b1_mipsel.deb234.7 KiB2017-Mar-18 20:12
minizinc-ide_2.0.14-1+b1_armhf.deb222.5 KiB2017-Mar-18 18:57
minizinc-ide_2.0.14-1+b1_mips.deb231.7 KiB2017-Mar-17 20:12
minizinc-ide_2.0.14-1+b1_amd64.deb238.8 KiB2017-Mar-17 19:26
minizinc-ide_2.0.14-1+b1_i386.deb256.7 KiB2017-Mar-17 18:31
minizinc-ide_2.0.14-1+b1_s390x.deb233.3 KiB2017-Mar-17 10:28
minizinc-ide_2.0.14-1+b1_ppc64el.deb231.0 KiB2017-Mar-17 10:13
minizinc-ide_2.0.14-1+b1_arm64.deb227.1 KiB2017-Mar-17 08:41
minizinc-ide_2.0.14-1.dsc1.7 KiB2016-Aug-29 18:35
minizinc-ide_2.0.14.orig.tar.gz204.5 KiB2016-Aug-29 18:35
minizinc-ide_2.0.14-1.debian.tar.xz8.8 KiB2016-Aug-29 18:35