Index of /debian/pool/main/m/mpfit

      Name                    Last modified       Size  Description

[DIR] Parent Directory 19-Jul-2019 21:00 - [TXT] gdl-mpfit_1.84+2016...> 17-Jun-2016 13:09 116k [TXT] gdl-mpfit_1.85+2017...> 26-Nov-2018 15:16 116k [   ] mpfit_1.84+2016.05.1..> 17-Jun-2016 11:44 8k [TXT] mpfit_1.84+2016.05.1..> 17-Jun-2016 11:44 2k [   ] mpfit_1.84+2016.05.1..> 17-Jun-2016 11:44 154k [   ] mpfit_1.85+2017.01.0..> 26-Nov-2018 14:40 8k [TXT] mpfit_1.85+2017.01.0..> 26-Nov-2018 14:40 2k [   ] mpfit_1.85+2017.01.0..> 17-Aug-2017 11:53 154k

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