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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 mcu8051ide_1.4.9-1.d..> 08-May-2018 15:22  8.4K  
 mcu8051ide_1.4.9-1.dsc  08-May-2018 15:22  1.6K  
 mcu8051ide_1.4.9-1_a..> 08-May-2018 16:28  4.3M  
 mcu8051ide_1.4.9-2.d..> 08-Jul-2020 18:51  9.1K  
 mcu8051ide_1.4.9-2.dsc  08-Jul-2020 18:51  1.6K  
 mcu8051ide_1.4.9-2_a..> 08-Jul-2020 19:16  3.4M  
 mcu8051ide_1.4.9.ori..> 08-May-2018 15:22  5.7M