Index of /.f/pub/gnu/vera

	Name	Last modified	Size
	Parent Directory		-
	vera-1.4a.tar.gz	28-Oct-1998 05:32	127K
	vera-1.5.tar.gz	03-Mar-1999 23:58	130K
	vera-1.6.tar.gz	02-Jun-2000 03:28	140K
	vera-1.7.tar.gz	13-Mar-2001 15:49	153K
	vera-1.8.tar.gz	07-Dec-2001 21:44	163K
	vera-1.9.tar.gz	10-Jun-2002 15:53	169K
	vera-1.17.tar.gz	08-Jun-2006 06:44	204K
	vera-1.17.tar.gz.sig	08-Jun-2006 06:44	65
	vera-1.20.tar.gz	09-Jun-2013 22:42	220K
	vera-1.20.tar.gz.sig	09-Jun-2013 22:42	490