Index of /debian/pool/main/m/mpfit
Name Last modified Size
Parent Directory -
mpfit_1.85+2017.01.03.orig.tar.gz 2017-08-17 11:53 154K
gdl-mpfit_1.85+2017.01.03-3_all.deb 2018-11-26 15:16 116K
gdl-mpfit_1.85+2017.01.03-4_all.deb 2019-10-23 23:11 115K
mpfit_1.85+2017.01.03-4.debian.tar.xz 2019-10-23 22:41 8.5K
mpfit_1.85+2017.01.03-3.debian.tar.xz 2018-11-26 14:40 8.5K
mpfit_1.85+2017.01.03-4.dsc 2019-10-23 22:41 2.0K
mpfit_1.85+2017.01.03-3.dsc 2018-11-26 14:40 2.0K
Apache/2.4.41 (Ubuntu) Server at ftp.fau.de Port 443