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

Icon  Name                             Last modified      Size  
[PARENTDIR] Parent Directory - [   ] mcu8051ide_1.4.7-2.debian.tar.gz 2014-05-05 01:28 5.6K [   ] mcu8051ide_1.4.7-2.dsc 2014-05-05 01:28 1.7K [   ] mcu8051ide_1.4.7-2_all.deb 2014-05-05 01:28 3.9M [   ] mcu8051ide_1.4.7.orig.tar.gz 2013-04-29 21:33 5.2M [   ] mcu8051ide_1.4.9-1.debian.tar.xz 2018-05-08 17:22 8.4K [   ] mcu8051ide_1.4.9-1.dsc 2018-05-08 17:22 1.6K [   ] mcu8051ide_1.4.9-1_all.deb 2018-05-08 18:28 4.3M [   ] mcu8051ide_1.4.9-2.debian.tar.xz 2020-07-08 20:51 9.1K [   ] mcu8051ide_1.4.9-2.dsc 2020-07-08 20:51 1.6K [   ] mcu8051ide_1.4.9-2_all.deb 2020-07-08 21:16 3.4M [   ] mcu8051ide_1.4.9.orig.tar.gz 2018-05-08 17:22 5.7M
Apache/2.4 Server at ftp.rrze.uni-erlangen.de Port 443