Index of /kojifiles/repos/f40-build/72244/riscv64/toplink/work/tasks/9416/3969416

	Name	Last modified	Size	Description
	Parent Directory		-
	Agda-2.6.3-40.fc39.src.rpm	2023-12-03 17:36	1.8M
	build.log	2023-12-03 17:36	1.2K
	checkout.log	2023-12-03 17:34	493
	hw_info.log	2023-12-03 17:35	562
	mock_output.log	2023-12-03 17:36	9.2K
	root.log	2023-12-03 17:36	116K
	state.log	2023-12-03 17:36	1.1K