2023-01-29 11:12:12,732 - Mock Version: 3.5
2023-01-29 11:12:13,382 - Start: dnf update
2023-01-29 11:12:14,965 - Finish: dnf update
2023-01-29 11:12:14,977 - Finish: chroot init
2023-01-29 11:12:14,981 - Start: build phase for idris-1.3.4-5.fc38.src.rpm
2023-01-29 11:12:14,983 - Start: build setup for idris-1.3.4-5.fc38.src.rpm
2023-01-29 11:12:29,381 - Finish: build setup for idris-1.3.4-5.fc38.src.rpm
2023-01-29 11:12:29,382 - Start: rpmbuild idris-1.3.4-5.fc38.src.rpm
2023-01-29 11:29:01,503 - Finish: rpmbuild idris-1.3.4-5.fc38.src.rpm
2023-01-29 11:29:01,538 - Finish: build phase for idris-1.3.4-5.fc38.src.rpm