Index of /devel

	Name	Last modified	Size	Description
	Parent Directory		-
	deb/	2022-09-18 18:40	-
	rpm/	2022-09-18 18:40	-
	solaris-pkg/	2022-09-18 18:40	-
	tarballs/	2022-09-18 18:40	-
	zips/	2022-09-18 18:40	-