2024-01-18 19:52:59,382 - Mock Version: 5.0
2024-01-18 19:53:02,096 - Start: chroot init
2024-01-18 19:55:13,547 - Start: installing minimal buildroot with dnf
2024-01-18 20:53:05,656 - Finish: installing minimal buildroot with dnf
2024-01-18 20:53:57,032 - Finish: chroot init
2024-01-18 20:54:07,667 - Finish: run
2024-01-18 20:56:41,875 - Mock Version: 5.0
2024-01-18 20:56:43,814 - Start: chroot init
2024-01-18 20:59:36,829 - Finish: chroot init
2024-01-18 20:59:37,816 - Start: chroot ['uname -r']
2024-01-18 20:59:40,697 - Finish: chroot ['uname -r']
2024-01-18 21:03:29,125 - Mock Version: 5.0
2024-01-18 21:03:32,827 - Start: chroot init
2024-01-18 21:07:46,271 - Finish: chroot init
2024-01-18 21:07:47,280 - Start: build phase for coq-8.18.0-1.fc40.src.rpm
2024-01-18 21:07:49,329 - Start: build setup for coq-8.18.0-1.fc40.src.rpm
2024-01-18 21:11:49,418 - Finish: build setup for coq-8.18.0-1.fc40.src.rpm
2024-01-18 21:11:49,422 - Finish: build phase for coq-8.18.0-1.fc40.src.rpm