Index of /pub/gnu/vera

	Name	Last modified	Size	Description
	Parent Directory		-
	vera-1.4a.tar.gz	28-Oct-1998 06:32	127K
	vera-1.5.tar.gz	04-Mar-1999 00:58	130K
	vera-1.6.tar.gz	02-Jun-2000 04:28	140K
	vera-1.7.tar.gz	13-Mar-2001 16:49	153K
	vera-1.8.tar.gz	07-Dec-2001 22:44	163K
	vera-1.9.tar.gz	10-Jun-2002 16:53	169K
	vera-1.17.tar.gz	08-Jun-2006 07:44	204K
	vera-1.17.tar.gz.sig	08-Jun-2006 07:44	65