2022-12-25 05:25:24,136 - Mock Version: 3.5
2022-12-25 05:25:25,849 - Start: dnf update
2022-12-25 05:25:29,737 - Finish: dnf update
2022-12-25 05:25:29,752 - Finish: chroot init
2022-12-25 05:25:29,757 - Start: build phase for idris-1.3.4-5.fc38.src.rpm
2022-12-25 05:25:29,760 - Start: build setup for idris-1.3.4-5.fc38.src.rpm
2022-12-25 05:26:37,527 - Finish: build setup for idris-1.3.4-5.fc38.src.rpm
2022-12-25 05:26:37,529 - Start: rpmbuild idris-1.3.4-5.fc38.src.rpm
2022-12-25 07:18:29,932 - Finish: rpmbuild idris-1.3.4-5.fc38.src.rpm
2022-12-25 07:18:30,025 - Finish: build phase for idris-1.3.4-5.fc38.src.rpm