2022-12-25 12:05:53,007 - Mock Version: 3.5
2022-12-25 12:05:53,874 - Start: dnf update
2022-12-25 12:05:56,389 - Finish: dnf update
2022-12-25 12:05:56,406 - Finish: chroot init
2022-12-25 12:05:56,412 - Start: build phase for idris-1.3.4-5.fc38.src.rpm
2022-12-25 12:05:56,415 - Start: build setup for idris-1.3.4-5.fc38.src.rpm
2022-12-25 12:06:18,045 - Finish: build setup for idris-1.3.4-5.fc38.src.rpm
2022-12-25 12:06:18,046 - Start: rpmbuild idris-1.3.4-5.fc38.src.rpm
2022-12-25 12:26:11,826 - Finish: rpmbuild idris-1.3.4-5.fc38.src.rpm
2022-12-25 12:26:11,873 - Finish: build phase for idris-1.3.4-5.fc38.src.rpm