2024-03-05 19:41:52,358 - Mock Version: 5.0
2024-03-05 19:41:53,356 - Start: chroot init
2024-03-05 19:43:01,143 - Start: installing minimal buildroot with dnf
2024-03-05 20:16:00,689 - Finish: installing minimal buildroot with dnf
2024-03-05 20:16:28,094 - Finish: chroot init
2024-03-05 20:16:34,763 - Finish: run
2024-03-05 20:17:42,546 - Mock Version: 5.0
2024-03-05 20:17:43,319 - Start: chroot init
2024-03-05 20:18:51,686 - Finish: chroot init
2024-03-05 20:18:51,802 - Start: chroot ['uname -r']
2024-03-05 20:18:53,305 - Finish: chroot ['uname -r']
2024-03-05 20:20:24,304 - Mock Version: 5.0
2024-03-05 20:20:25,849 - Start: chroot init
2024-03-05 20:22:03,345 - Finish: chroot init
2024-03-05 20:22:03,687 - Start: build phase for coq-8.18.0-4.fc40.src.rpm
2024-03-05 20:22:04,211 - Start: build setup for coq-8.18.0-4.fc40.src.rpm
2024-03-05 20:59:05,046 - Finish: build setup for coq-8.18.0-4.fc40.src.rpm
2024-03-05 20:59:05,095 - Start: Outputting list of installed packages
2024-03-05 20:59:16,171 - Finish: Outputting list of installed packages
2024-03-05 20:59:16,177 - Start: rpmbuild coq-8.18.0-4.fc40.src.rpm
2024-03-05 21:04:05,130 - Finish: rpmbuild coq-8.18.0-4.fc40.src.rpm
2024-03-05 21:04:05,138 - Finish: build phase for coq-8.18.0-4.fc40.src.rpm