2022-12-23 14:30:10,425 - Mock Version: 3.5
2022-12-23 14:30:12,761 - Start: dnf update
2022-12-23 14:30:20,331 - Finish: dnf update
2022-12-23 14:30:20,352 - Finish: chroot init
2022-12-23 14:30:20,359 - Start: build phase for coq-8.16.1-1.fc38.src.rpm
2022-12-23 14:30:20,362 - Start: build setup for coq-8.16.1-1.fc38.src.rpm
2022-12-23 14:31:20,470 - Finish: build setup for coq-8.16.1-1.fc38.src.rpm
2022-12-23 14:31:20,472 - Start: rpmbuild coq-8.16.1-1.fc38.src.rpm
2022-12-23 14:52:17,673 - Finish: rpmbuild coq-8.16.1-1.fc38.src.rpm
2022-12-23 14:52:17,806 - Finish: build phase for coq-8.16.1-1.fc38.src.rpm