File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
minizinc_2.0.14+dfsg1-1.dsc1.7 KiB2016-Aug-28 17:46
minizinc_2.0.14+dfsg1-1.debian.tar.xz9.0 KiB2016-Aug-28 17:46
minizinc_2.0.14+dfsg1.orig.tar.gz438.2 KiB2016-Aug-28 17:46
minizinc_2.0.14+dfsg1-1+b1_armel.deb994.5 KiB2017-Mar-19 07:27
minizinc_2.0.14+dfsg1-1+b1_mips.deb1004.0 KiB2017-Mar-17 19:56
minizinc_2.0.14+dfsg1-1+b1_arm64.deb1012.1 KiB2017-Mar-17 08:41
minizinc_2.0.14+dfsg1-1+b1_mips64el.deb1012.6 KiB2017-Mar-19 04:42
minizinc_2.0.14+dfsg1-1+b1_armhf.deb1014.7 KiB2017-Mar-18 18:26
minizinc_2.0.14+dfsg1-1+b1_mipsel.deb1022.1 KiB2017-Mar-18 19:27
minizinc_2.0.14+dfsg1-1+b1_ppc64el.deb1.0 MiB2017-Mar-17 09:57
minizinc_2.0.14+dfsg1-1+b1_s390x.deb1.0 MiB2017-Mar-17 10:13
minizinc_2.0.14+dfsg1-1+b1_amd64.deb1.1 MiB2017-Mar-17 19:11
minizinc_2.0.14+dfsg1-1+b1_i386.deb1.1 MiB2017-Mar-17 18:10