2023-06-29 16:31:38,901 - Mock Version: 3.5
2023-06-29 16:31:54,088 - Start: dnf install
2023-06-29 16:40:30,369 - Finish: dnf install
2023-06-29 16:40:37,765 - Finish: chroot init
2023-06-29 16:40:39,949 - Finish: run
2023-06-29 16:41:46,822 - Mock Version: 3.5
2023-06-29 16:42:02,811 - Finish: chroot init
2023-06-29 16:42:02,971 - Start: chroot ['uname -r']
2023-06-29 16:42:03,602 - Finish: chroot ['uname -r']
2023-06-29 16:43:30,266 - Mock Version: 3.5
2023-06-29 16:44:00,404 - Finish: chroot init
2023-06-29 16:44:00,580 - Start: build phase for coq-8.17.0-1.fc38.src.rpm
2023-06-29 16:44:00,856 - Start: build setup for coq-8.17.0-1.fc38.src.rpm
2023-06-29 16:56:54,610 - Finish: build setup for coq-8.17.0-1.fc38.src.rpm
2023-06-29 16:56:54,675 - Start: Outputting list of installed packages
2023-06-29 16:56:59,247 - Finish: Outputting list of installed packages
2023-06-29 16:56:59,261 - Start: rpmbuild coq-8.17.0-1.fc38.src.rpm
2023-06-29 18:42:35,857 - Finish: rpmbuild coq-8.17.0-1.fc38.src.rpm
2023-06-29 18:42:35,867 - Finish: build phase for coq-8.17.0-1.fc38.src.rpm