Index of /gnewsense/pool/main/m/mcu8051ide

      Name                             Last modified      Size  Description
      Parent Directory                                      -   
      mcu8051ide_1.3.7-1.debian.tar.gz 2010-08-01 12:02  5.2K  
      mcu8051ide_1.3.7-1.dsc           2010-08-01 12:02  1.6K  
      mcu8051ide_1.3.7-1_all.deb       2010-08-01 12:02  1.4M  
      mcu8051ide_1.3.7.orig.tar.gz     2010-08-01 12:02  1.3M