Index of /debian/pool/main/m/minizinc
Name
Last modified
Size
Parent Directory
-
minizinc_2.0.14+dfsg1-1+b1_amd64.deb
2017-03-17 18:11
1.1M
minizinc_2.0.14+dfsg1-1+b1_arm64.deb
2017-03-17 07:41
1.0M
minizinc_2.0.14+dfsg1-1+b1_armel.deb
2017-03-19 06:27
1.0M
minizinc_2.0.14+dfsg1-1+b1_armhf.deb
2017-03-18 17:26
1.0M
minizinc_2.0.14+dfsg1-1+b1_i386.deb
2017-03-17 17:10
1.1M
minizinc_2.0.14+dfsg1-1+b1_mips.deb
2017-03-17 18:56
1.0M
minizinc_2.0.14+dfsg1-1+b1_mips64el.deb
2017-03-19 03:42
1.0M
minizinc_2.0.14+dfsg1-1+b1_mipsel.deb
2017-03-18 18:27
1.0M
minizinc_2.0.14+dfsg1-1+b1_ppc64el.deb
2017-03-17 08:57
1.0M
minizinc_2.0.14+dfsg1-1+b1_s390x.deb
2017-03-17 09:13
1.0M
minizinc_2.0.14+dfsg1-1.debian.tar.xz
2016-08-28 16:46
9.0K
minizinc_2.0.14+dfsg1-1.dsc
2016-08-28 16:46
1.7K
minizinc_2.0.14+dfsg1.orig.tar.gz
2016-08-28 16:46
438K
minizinc_2.1.7+dfsg1-1.debian.tar.xz
2018-01-23 16:43
9.2K
minizinc_2.1.7+dfsg1-1.dsc
2018-01-23 16:43
1.8K
minizinc_2.1.7+dfsg1-1_amd64.deb
2018-01-23 16:43
1.7M
minizinc_2.1.7+dfsg1-1_arm64.deb
2018-01-23 17:29
1.6M
minizinc_2.1.7+dfsg1-1_armel.deb
2018-01-23 17:29
1.5M
minizinc_2.1.7+dfsg1-1_armhf.deb
2018-01-23 17:44
1.5M
minizinc_2.1.7+dfsg1-1_i386.deb
2018-01-23 18:00
1.7M
minizinc_2.1.7+dfsg1-1_mips.deb
2018-01-23 17:29
1.4M
minizinc_2.1.7+dfsg1-1_mips64el.deb
2018-01-23 18:30
1.5M
minizinc_2.1.7+dfsg1-1_mipsel.deb
2018-01-23 18:30
1.5M
minizinc_2.1.7+dfsg1-1_ppc64el.deb
2018-01-23 17:14
1.6M
minizinc_2.1.7+dfsg1-1_s390x.deb
2018-01-23 17:14
1.6M
minizinc_2.1.7+dfsg1.orig.tar.xz
2018-01-23 16:43
487K
Apache Server at archive-klecker.debian.org Port 80