The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.

Index of /ubuntu/pool/universe/m/mcu8051ide/

../
mcu8051ide_1.4.7-1.debian.tar.gz                   29-Apr-2013 23:33                5063
mcu8051ide_1.4.7-1.dsc                             29-Apr-2013 23:33                1724
mcu8051ide_1.4.7-1_all.deb                         29-Apr-2013 23:33             4909270
mcu8051ide_1.4.7-2.debian.tar.gz                   05-May-2014 05:18                5756
mcu8051ide_1.4.7-2.dsc                             05-May-2014 05:18                1719
mcu8051ide_1.4.7-2_all.deb                         05-May-2014 05:28             4258530
mcu8051ide_1.4.7.orig.tar.gz                       29-Apr-2013 23:33             5464570
mcu8051ide_1.4.9-1.debian.tar.xz                   08-May-2018 23:27                8596
mcu8051ide_1.4.9-1.dsc                             08-May-2018 23:27                1627
mcu8051ide_1.4.9-1_all.deb                         09-May-2018 00:27             4724732
mcu8051ide_1.4.9-2.debian.tar.xz                   08-Jul-2020 23:23                9296
mcu8051ide_1.4.9-2.dsc                             08-Jul-2020 23:23                1657
mcu8051ide_1.4.9-2_all.deb                         08-Jul-2020 23:24             3476088
mcu8051ide_1.4.9.orig.tar.gz                       08-May-2018 23:27             5928637

These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.