Index of /pub/gnu/gnu/vera

	Name	Last modified	Size	Description
	Parent Directory		-
	vera-1.17.tar.gz.sig	07-Jun-2006 23:00	65
	vera-1.4a.tar.gz	27-Oct-1998 23:00	127K
	vera-1.5.tar.gz	02-Mar-1999 23:00	130K
	vera-1.6.tar.gz	01-Jun-2000 23:00	140K
	vera-1.7.tar.gz	12-Mar-2001 23:00	153K
	vera-1.8.tar.gz	06-Dec-2001 23:00	163K
	vera-1.9.tar.gz	09-Jun-2002 23:00	169K
	vera-1.17.tar.gz	07-Jun-2006 23:00	204K