2023-01-20 23:30:07,265 - Mock Version: 3.5
2023-01-20 23:30:08,159 - Start: dnf update
2023-01-20 23:30:11,573 - Finish: dnf update
2023-01-20 23:30:11,587 - Finish: chroot init
2023-01-20 23:30:11,591 - Start: build phase for coq-8.16.1-2.fc38.src.rpm
2023-01-20 23:30:11,594 - Start: build setup for coq-8.16.1-2.fc38.src.rpm
2023-01-20 23:30:38,951 - Finish: build setup for coq-8.16.1-2.fc38.src.rpm
2023-01-20 23:30:38,953 - Start: rpmbuild coq-8.16.1-2.fc38.src.rpm
2023-01-20 23:48:05,420 - Finish: rpmbuild coq-8.16.1-2.fc38.src.rpm
2023-01-20 23:48:05,657 - Finish: build phase for coq-8.16.1-2.fc38.src.rpm