2022-12-28 13:18:24,139 - Mock Version: 3.5
2022-12-28 13:18:24,782 - Start: dnf update
2022-12-28 13:18:26,566 - Finish: dnf update
2022-12-28 13:18:26,579 - Finish: chroot init
2022-12-28 13:18:26,582 - Start: build phase for coq-8.16.1-1.fc38.src.rpm
2022-12-28 13:18:26,584 - Start: build setup for coq-8.16.1-1.fc38.src.rpm
2022-12-28 13:18:52,711 - Finish: build setup for coq-8.16.1-1.fc38.src.rpm
2022-12-28 13:18:52,712 - Start: rpmbuild coq-8.16.1-1.fc38.src.rpm
2022-12-28 13:34:18,106 - Finish: rpmbuild coq-8.16.1-1.fc38.src.rpm
2022-12-28 13:34:18,252 - Finish: build phase for coq-8.16.1-1.fc38.src.rpm