Index of /debian-archive/debian/pool/main/m/minizinc-ide/

Filename	Modification time	Size
minizinc-ide_2.0.14-1+b1_amd64.deb	2017-03-17 19:26 CET	239 KiB
minizinc-ide_2.0.14-1+b1_arm64.deb	2017-03-17 08:41 CET	227 KiB
minizinc-ide_2.0.14-1+b1_armel.deb	2017-03-19 07:57 CET	219 KiB
minizinc-ide_2.0.14-1+b1_armhf.deb	2017-03-18 18:57 CET	223 KiB
minizinc-ide_2.0.14-1+b1_i386.deb	2017-03-17 18:31 CET	257 KiB
minizinc-ide_2.0.14-1+b1_mips.deb	2017-03-17 20:12 CET	232 KiB
minizinc-ide_2.0.14-1+b1_mips64el.deb	2017-03-19 05:12 CET	235 KiB
minizinc-ide_2.0.14-1+b1_mipsel.deb	2017-03-18 20:12 CET	235 KiB
minizinc-ide_2.0.14-1+b1_ppc64el.deb	2017-03-17 10:13 CET	231 KiB
minizinc-ide_2.0.14-1+b1_s390x.deb	2017-03-17 10:28 CET	233 KiB
minizinc-ide_2.0.14-1.debian.tar.xz	2016-08-29 19:35 CEST	9020 B
minizinc-ide_2.0.14-1.dsc	2016-08-29 19:35 CEST	1741 B
minizinc-ide_2.0.14.orig.tar.gz	2016-08-29 19:35 CEST	204 KiB