Index of /gnu/vera

 Name                    Last modified       Size  Description

 Parent Directory        23-May-2012 23:00      -  
 vera-1.17.tar.gz        08-Jun-2006 09:44   204k  
 vera-1.17.tar.gz.sig    08-Jun-2006 09:44     1k  
 vera-1.4a.tar.gz        28-Oct-1998 03:00   127k  
 vera-1.5.tar.gz         03-Mar-1999 03:00   130k  
 vera-1.6.tar.gz         02-Jun-2000 04:00   140k  
 vera-1.7.tar.gz         13-Mar-2001 03:00   153k  
 vera-1.8.tar.gz         07-Dec-2001 03:00   163k  
 vera-1.9.tar.gz         10-Jun-2002 04:00   169k