Index of /pub/gnu/vera

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 vera-1.17.tar.gz        08-Jun-2006 02:00  204K  
 vera-1.17.tar.gz.sig    08-Jun-2006 02:00   65   
 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 02: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 03:00  169K