2022-12-25 12:05:39,611 - Mock Version: 3.5
2022-12-25 12:05:40,460 - Start: dnf update
2022-12-25 12:05:48,386 - Finish: dnf update
2022-12-25 12:05:48,400 - Finish: chroot init
2022-12-25 12:05:48,404 - Start: build phase for idris-1.3.4-5.fc38.src.rpm
2022-12-25 12:05:48,407 - Start: build setup for idris-1.3.4-5.fc38.src.rpm
2022-12-25 12:06:14,200 - Finish: build setup for idris-1.3.4-5.fc38.src.rpm
2022-12-25 12:06:14,201 - Start: rpmbuild idris-1.3.4-5.fc38.src.rpm
2022-12-25 12:25:09,411 - Finish: rpmbuild idris-1.3.4-5.fc38.src.rpm
2022-12-25 12:25:09,460 - Finish: build phase for idris-1.3.4-5.fc38.src.rpm