2023-06-03 00:27:02,186 - Mock Version: 2.15
2023-06-03 00:27:04,076 - Start: dnf install
2023-06-03 00:33:28,624 - Finish: dnf install
2023-06-03 00:33:29,856 - Finish: chroot init
2023-06-03 00:33:30,413 - Finish: run
2023-06-03 00:33:44,016 - Mock Version: 2.15
2023-06-03 00:33:45,846 - Finish: chroot init
2023-06-03 00:33:45,870 - Start: chroot ['uname -r']
2023-06-03 00:33:45,963 - Finish: chroot ['uname -r']
2023-06-03 00:34:02,107 - Mock Version: 2.15
2023-06-03 00:34:06,468 - Finish: chroot init
2023-06-03 00:34:06,494 - Start: build phase for coq-8.17.0-1.fc38.src.rpm
2023-06-03 00:34:06,541 - Start: build setup for coq-8.17.0-1.fc38.src.rpm
2023-06-03 00:38:41,871 - Finish: build setup for coq-8.17.0-1.fc38.src.rpm
2023-06-03 00:38:41,879 - Start: rpmbuild coq-8.17.0-1.fc38.src.rpm
2023-06-03 01:43:49,446 - Finish: rpmbuild coq-8.17.0-1.fc38.src.rpm
2023-06-03 01:43:49,447 - Finish: build phase for coq-8.17.0-1.fc38.src.rpm