Index of /kojifiles/repos/f40-build/72557/riscv64/toplink/work/tasks/2932/5162932

	Name	Last modified	Size	Description
	Parent Directory		-
	Agda-2.6.3-40.fc39.src.rpm	2024-02-26 18:37	1.8M
	build.log	2024-02-26 18:37	1.2K
	checkout.log	2024-02-26 18:37	493
	hw_info.log	2024-02-26 18:37	682
	mock_output.log	2024-02-26 18:37	9.7K
	root.log	2024-02-26 18:37	116K
	state.log	2024-02-26 18:37	1.2K