Index of /pub/gnu/gnumach

 Name                        Last modified      Size  Description
 Parent Directory                                 -   
 gnumach-1.2-1.3.diff.gz.sig 27-May-2002 03:00  152   
 gnumach-1.2.tar.gz.sig      21-Jun-1999 02:00  152   
 gnumach-1.3.tar.gz.sig      27-May-2002 03:00  152   
 gnumach-1.2-1.3.diff.gz     27-May-2002 03:00  310K  
 gnumach-1.0.tar.gz          14-Apr-1997 02:00  2.4M  
 gnumach-1.1.3.tar.gz        12-Jun-1997 02:00  2.4M  
 gnumach-1.1.2.tar.gz        10-Jun-1997 02:00  2.4M  
 gnumach-1.2.tar.gz          21-Jun-1999 02:00  3.5M  
 gnumach-1.3.tar.gz          27-May-2002 03:00  3.6M