Index of /pub/gnu/vera

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