Index of /kojifiles/work/tasks/370/290370

	Name	Last modified	Size	Description
	Parent Directory		-
	Agda-2.6.0.1-19.fc31.src.rpm	2019-09-02 02:28	2.4M
	build.log	2019-09-02 02:28	1.4K
	checkout.log	2019-09-02 02:28	334
	hw_info.log	2019-09-02 02:28	555
	mock_output.log	2019-09-02 02:28	4.7K
	root.log	2019-09-02 02:28	65K
	state.log	2019-09-02 02:28	786