Index of /reviewed/release

	Name	Last modified	Size	Description
	Parent Directory		-
	gen-version-info.hs	2024-05-26 07:29	856
	license_exceptions	2022-11-20 18:58	14K
	licensing	2022-11-20 18:58	2.8K
	release.sh	2024-05-26 08:55	860
	trigger-ci	2024-02-24 21:05	893