Index of /debian/pool/main/m/minizinc

Icon  Name                                    Last modified      Size  
[PARENTDIR] Parent Directory - [   ] minizinc_2.0.14+dfsg1-1+b1_amd64.deb 2017-03-17 19:11 1.1M [   ] minizinc_2.0.14+dfsg1-1+b1_arm64.deb 2017-03-17 08:41 1.0M [   ] minizinc_2.0.14+dfsg1-1+b1_armel.deb 2017-03-19 07:27 1.0M [   ] minizinc_2.0.14+dfsg1-1+b1_armhf.deb 2017-03-18 18:26 1.0M [   ] minizinc_2.0.14+dfsg1-1+b1_i386.deb 2017-03-17 18:10 1.1M [   ] minizinc_2.0.14+dfsg1-1+b1_mips.deb 2017-03-17 19:56 1.0M [   ] minizinc_2.0.14+dfsg1-1+b1_mips64el.deb 2017-03-19 04:42 1.0M [   ] minizinc_2.0.14+dfsg1-1+b1_mipsel.deb 2017-03-18 19:27 1.0M [   ] minizinc_2.0.14+dfsg1-1+b1_ppc64el.deb 2017-03-17 09:57 1.0M [   ] minizinc_2.0.14+dfsg1-1+b1_s390x.deb 2017-03-17 10:13 1.0M [   ] minizinc_2.0.14+dfsg1-1.debian.tar.xz 2016-08-28 18:46 9.0K [   ] minizinc_2.0.14+dfsg1-1.dsc 2016-08-28 18:46 1.7K [   ] minizinc_2.0.14+dfsg1.orig.tar.gz 2016-08-28 18:46 438K [   ] minizinc_2.1.7+dfsg1-1+b1_amd64.deb 2019-08-08 11:13 1.8M [   ] minizinc_2.1.7+dfsg1-1.debian.tar.xz 2018-01-23 17:43 9.2K [   ] minizinc_2.1.7+dfsg1-1.dsc 2018-01-23 17:43 1.8K [   ] minizinc_2.1.7+dfsg1-1_amd64.deb 2018-01-23 17:43 1.7M [   ] minizinc_2.1.7+dfsg1-1_arm64.deb 2018-01-23 18:29 1.6M [   ] minizinc_2.1.7+dfsg1-1_armel.deb 2018-01-23 18:29 1.5M [   ] minizinc_2.1.7+dfsg1-1_armhf.deb 2018-01-23 18:44 1.5M [   ] minizinc_2.1.7+dfsg1-1_i386.deb 2018-01-23 19:00 1.7M [   ] minizinc_2.1.7+dfsg1-1_mips.deb 2018-01-23 18:29 1.4M [   ] minizinc_2.1.7+dfsg1-1_mips64el.deb 2018-01-23 19:30 1.5M [   ] minizinc_2.1.7+dfsg1-1_mipsel.deb 2018-01-23 19:30 1.5M [   ] minizinc_2.1.7+dfsg1-1_ppc64el.deb 2018-01-23 18:14 1.6M [   ] minizinc_2.1.7+dfsg1-1_s390x.deb 2018-01-23 18:14 1.6M [   ] minizinc_2.1.7+dfsg1.orig.tar.xz 2018-01-23 17:43 487K
Apache/2.4 Server at dewy.fem.tu-ilmenau.de Port 80