Index of /doc/gap-primgrp

	Name	Last modified	Size	Description
	Parent Directory		-
	copyright	2018-10-08 18:12	906
	README.md	2020-03-02 10:40	1.3K
	changelog.gz	2020-03-02 10:40	437
	changelog.Debian.gz	2020-04-09 23:43	525
	doc/	2021-08-16 12:55	-