Index of /doc/gap-primgrp

	Name	Last modified	Size	Description
	Parent Directory		-
	copyright	2022-07-16 19:53	922
	README.md	2022-12-10 17:46	1.4K
	changelog.gz	2022-12-10 17:46	830
	changelog.Debian.gz	2022-12-21 13:07	574
	doc/	2023-06-14 20:42	-