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

 Name                    Last modified       Size  Description

 Parent Directory        09-Jan-2021 00:00      -  
 mcu8051ide_1.4.7-2.d..> 05-May-2014 01:28     6k  
 mcu8051ide_1.4.7-2.dsc  05-May-2014 01:28     2k  
 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  
 mcu8051ide_1.4.9-1.dsc  08-May-2018 17:22     2k  
 mcu8051ide_1.4.9-1_a..> 08-May-2018 18:28   4.3M  
 mcu8051ide_1.4.9-2.d..> 08-Jul-2020 20:51     9k  
 mcu8051ide_1.4.9-2.dsc  08-Jul-2020 20:51     2k  
 mcu8051ide_1.4.9-2_a..> 08-Jul-2020 21:16   3.4M  
 mcu8051ide_1.4.9.ori..> 08-May-2018 17:22   5.7M