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

      Name                    Last modified       Size  Description

[DIR] Parent Directory 19-Jul-2019 21:00 - [TXT] minizinc-ide_2.0.14-..> 17-Mar-2017 19:26 239k [TXT] minizinc-ide_2.0.14-..> 17-Mar-2017 08:41 227k [TXT] minizinc-ide_2.0.14-..> 19-Mar-2017 07:57 219k [TXT] minizinc-ide_2.0.14-..> 18-Mar-2017 18:57 223k [TXT] minizinc-ide_2.0.14-..> 17-Mar-2017 18:31 257k [TXT] minizinc-ide_2.0.14-..> 17-Mar-2017 20:12 232k [TXT] minizinc-ide_2.0.14-..> 19-Mar-2017 05:12 235k [TXT] minizinc-ide_2.0.14-..> 18-Mar-2017 20:12 235k [TXT] minizinc-ide_2.0.14-..> 17-Mar-2017 10:13 231k [TXT] minizinc-ide_2.0.14-..> 17-Mar-2017 10:28 233k [   ] minizinc-ide_2.0.14-..> 29-Aug-2016 19:35 9k [TXT] minizinc-ide_2.0.14-..> 29-Aug-2016 19:35 2k [   ] minizinc-ide_2.0.14...> 29-Aug-2016 19:35 204k [   ] minizinc-ide_2.1.7-1..> 23-Jan-2018 17:43 9k [TXT] minizinc-ide_2.1.7-1..> 23-Jan-2018 17:43 2k [TXT] minizinc-ide_2.1.7-1..> 23-Jan-2018 17:43 244k [TXT] minizinc-ide_2.1.7-1..> 23-Jan-2018 18:14 233k [TXT] minizinc-ide_2.1.7-1..> 23-Jan-2018 18:44 222k [TXT] minizinc-ide_2.1.7-1..> 23-Jan-2018 19:15 228k [TXT] minizinc-ide_2.1.7-1..> 23-Jan-2018 18:59 260k [TXT] minizinc-ide_2.1.7-1..> 23-Jan-2018 18:29 236k [TXT] minizinc-ide_2.1.7-1..> 23-Jan-2018 19:25 239k [TXT] minizinc-ide_2.1.7-1..> 23-Jan-2018 19:25 239k [TXT] minizinc-ide_2.1.7-1..> 23-Jan-2018 18:14 245k [TXT] minizinc-ide_2.1.7-1..> 23-Jan-2018 18:14 237k [   ] minizinc-ide_2.1.7.o..> 23-Jan-2018 17:43 210k

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