Index of /reviewed/release

	Name	Last modified	Size	Description
	Parent Directory		-
	gen-version-info.hs	2023-03-24 23:20	810
	license_exceptions	2022-11-20 18:58	14K
	licensing	2022-11-20 18:58	2.8K
	release.sh	2022-11-20 18:58	857
	trigger-ci	2024-02-24 21:05	893