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

Icon  Name                             Last modified      Size  
[PARENTDIR] Parent Directory - [   ] 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.41 (Ubuntu) Server at de.aminet.net Port 80