Index of /pub/gap/util

	Name	Last modified	Size	Description

	Parent Directory		-
	zoo2_1.zoo	1995-02-01 10:46	205K
	unzoo.c	1995-02-01 10:46	108K
	patch2_1.zoo	1995-02-01 10:44	82K

Apache/2.4.10 (Debian) Server at archive.dimacs.rutgers.edu Port 80