Index of /magma 
      Name                       Last modified       Size  Description


[DIR] Parent Directory           08-Jun-2009 18:58      -  
[TXT] ChangeLog                  09-Oct-2007 15:00    19k  
[   ] magma-20070313.tgz         14-Mar-2007 16:37   681k  
[   ] magma-20070806.tgz         06-Aug-2007 17:20   457k  
[   ] magma-20070829.tgz         29-Aug-2007 12:42   1.0M  
[   ] magma-20070829.tgz.sig     29-Aug-2007 12:42     1k  
[   ] magma_20070911.tar.bz2     09-Oct-2007 15:06   396k  
[   ] magma_20070911.tar.bz2.sig 09-Oct-2007 15:06     1k  
[   ] magma_20070911.tgz         09-Oct-2007 15:06   529k  
[   ] magma_20070911.tgz.sig     09-Oct-2007 15:06     1k
Apache/1.3.34 Server at download.gna.org Port 80