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

 Name                    Last modified       Size  Description

 Parent Directory        19-Jul-2019 21: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.ori..> 08-May-2018 17:22   5.7M