Index of /debian/pool/main/m/mcu8051ide

      Name                    Last modified       Size  Description

[DIR] Parent Directory 19-Jul-2019 21:00 - [   ] mcu8051ide_1.4.7-2.d..> 05-May-2014 01:28 6k [TXT] mcu8051ide_1.4.7-2.dsc 05-May-2014 01:28 2k [TXT] mcu8051ide_1.4.7-2_a..> 05-May-2014 01:28 3.9M [   ] mcu8051ide_1.4.7.ori..> 29-Apr-2013 21:33 5.2M [   ] mcu8051ide_1.4.9-1.d..> 08-May-2018 17:22 8k [TXT] mcu8051ide_1.4.9-1.dsc 08-May-2018 17:22 2k [TXT] mcu8051ide_1.4.9-1_a..> 08-May-2018 18:28 4.3M [   ] mcu8051ide_1.4.9.ori..> 08-May-2018 17:22 5.7M

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