Index of /ubuntu-ports/pool/universe/m/mcu8051ide
Name Last modified Size Description
Parent Directory -
mcu8051ide_1.4.9.orig.tar.gz 2018-05-09 01:27 5.7M
mcu8051ide_1.4.9-2_all.deb 2020-07-09 01:24 3.3M
mcu8051ide_1.4.9-2.dsc 2020-07-09 01:23 1.6K
mcu8051ide_1.4.9-2.debian.tar.xz 2020-07-09 01:23 9.1K
mcu8051ide_1.4.9-1_all.deb 2018-05-09 02:27 4.5M
mcu8051ide_1.4.9-1.dsc 2018-05-09 01:27 1.6K
mcu8051ide_1.4.9-1.debian.tar.xz 2018-05-09 01:27 8.4K
mcu8051ide_1.4.7.orig.tar.gz 2013-04-30 01:33 5.2M
mcu8051ide_1.4.7-2_all.deb 2014-05-05 07:28 4.1M
mcu8051ide_1.4.7-2.dsc 2014-05-05 07:18 1.7K
mcu8051ide_1.4.7-2.debian.tar.gz 2014-05-05 07:18 5.6K
mcu8051ide_1.4.7-1_all.deb 2013-04-30 01:33 4.7M
mcu8051ide_1.4.7-1.dsc 2013-04-30 01:33 1.7K
mcu8051ide_1.4.7-1.debian.tar.gz 2013-04-30 01:33 4.9K
Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80