2023-01-20 23:25:27,001 - Mock Version: 3.5
2023-01-20 23:25:27,847 - Start: dnf update
2023-01-20 23:25:29,636 - Finish: dnf update
2023-01-20 23:25:29,649 - Finish: chroot init
2023-01-20 23:25:29,654 - Start: build phase for coq-8.16.1-2.fc38.src.rpm
2023-01-20 23:25:29,657 - Start: build setup for coq-8.16.1-2.fc38.src.rpm
2023-01-20 23:25:58,908 - Finish: build setup for coq-8.16.1-2.fc38.src.rpm
2023-01-20 23:25:58,910 - Start: rpmbuild coq-8.16.1-2.fc38.src.rpm
2023-01-20 23:42:35,123 - Finish: rpmbuild coq-8.16.1-2.fc38.src.rpm
2023-01-20 23:42:35,325 - Finish: build phase for coq-8.16.1-2.fc38.src.rpm