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

      Name                    Last modified       Size  Description

[DIR] Parent Directory 17-Nov-2019 20:00 - [TXT] minizinc_2.0.14+dfsg..> 17-Mar-2017 19:11 1.1M [TXT] minizinc_2.0.14+dfsg..> 17-Mar-2017 08:41 1012k [TXT] minizinc_2.0.14+dfsg..> 19-Mar-2017 07:27 995k [TXT] minizinc_2.0.14+dfsg..> 18-Mar-2017 18:26 1015k [TXT] minizinc_2.0.14+dfsg..> 17-Mar-2017 18:10 1.1M [TXT] minizinc_2.0.14+dfsg..> 17-Mar-2017 19:56 1004k [TXT] minizinc_2.0.14+dfsg..> 19-Mar-2017 04:42 1013k [TXT] minizinc_2.0.14+dfsg..> 18-Mar-2017 19:27 1022k [TXT] minizinc_2.0.14+dfsg..> 17-Mar-2017 09:57 1.0M [TXT] minizinc_2.0.14+dfsg..> 17-Mar-2017 10:13 1.0M [   ] minizinc_2.0.14+dfsg..> 28-Aug-2016 18:46 9k [TXT] minizinc_2.0.14+dfsg..> 28-Aug-2016 18:46 2k [   ] minizinc_2.0.14+dfsg..> 28-Aug-2016 18:46 438k [TXT] minizinc_2.1.7+dfsg1..> 08-Aug-2019 11:13 1.8M [   ] minizinc_2.1.7+dfsg1..> 23-Jan-2018 17:43 9k [TXT] minizinc_2.1.7+dfsg1..> 23-Jan-2018 17:43 2k [TXT] minizinc_2.1.7+dfsg1..> 23-Jan-2018 17:43 1.7M [TXT] minizinc_2.1.7+dfsg1..> 23-Jan-2018 18:29 1.6M [TXT] minizinc_2.1.7+dfsg1..> 23-Jan-2018 18:29 1.5M [TXT] minizinc_2.1.7+dfsg1..> 23-Jan-2018 18:44 1.5M [TXT] minizinc_2.1.7+dfsg1..> 23-Jan-2018 19:00 1.7M [TXT] minizinc_2.1.7+dfsg1..> 23-Jan-2018 18:29 1.4M [TXT] minizinc_2.1.7+dfsg1..> 23-Jan-2018 19:30 1.5M [TXT] minizinc_2.1.7+dfsg1..> 23-Jan-2018 19:30 1.5M [TXT] minizinc_2.1.7+dfsg1..> 23-Jan-2018 18:14 1.6M [TXT] minizinc_2.1.7+dfsg1..> 23-Jan-2018 18:14 1.6M [   ] minizinc_2.1.7+dfsg1..> 23-Jan-2018 17:43 487k

Apache/1.3.26 Server at ftp.uni-bayreuth.de Port 80