Index of /kojifiles/repos/dist-ocs23-loongarch64-build/latest/loongarch64/toplink/packages/Agda/2.6.3/1.ocs23/data/logs/aarch64

	Name	Last modified	Size	Description
	Parent Directory		-
	build.log	2024-06-19 11:32	655K
	hw_info.log	2024-06-19 11:21	2.0K
	installed_pkgs.log	2024-06-19 11:21	33K
	mock_output.log	2024-06-19 11:32	8.0K
	noarch_rpmdiff.json	2024-06-19 11:32	496
	root.log	2024-06-19 11:32	189K
	state.log	2024-06-19 11:32	1.2K