2022-12-24 20:19:56,203 - Mock Version: 3.5
2022-12-24 20:19:58,718 - Start: dnf update
2022-12-24 20:20:09,855 - Finish: dnf update
2022-12-24 20:20:09,876 - Finish: chroot init
2022-12-24 20:20:09,884 - Start: build phase for idris-1.3.4-5.fc38.src.rpm
2022-12-24 20:20:09,889 - Start: build setup for idris-1.3.4-5.fc38.src.rpm
2022-12-24 20:20:55,893 - Finish: build setup for idris-1.3.4-5.fc38.src.rpm
2022-12-24 20:20:55,896 - Start: rpmbuild idris-1.3.4-5.fc38.src.rpm
2022-12-24 21:05:45,541 - Finish: rpmbuild idris-1.3.4-5.fc38.src.rpm
2022-12-24 21:05:45,594 - Finish: build phase for idris-1.3.4-5.fc38.src.rpm