Index of /gnewsense-three/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