Index of /devel/nodist

	Name	Last modified	Size	Description
	Parent Directory		-
	repodata/	2013-12-02 21:05	-
	mirror.list.bak	2013-12-16 21:36	315
	mirror.list.bak.1	2018-09-25 18:22	90
	mirror.list	2018-09-25 18:32	45