2024-02-03 17:39:19,471 - Mock Version: 5.0
2024-02-03 17:39:22,170 - Start: chroot init
2024-02-03 17:42:35,051 - Start: installing minimal buildroot with dnf
2024-02-03 18:46:35,780 - Finish: installing minimal buildroot with dnf
2024-02-03 18:47:32,860 - Finish: chroot init
2024-02-03 18:47:45,569 - Finish: run
2024-02-03 18:50:48,127 - Mock Version: 5.0
2024-02-03 18:50:50,445 - Start: chroot init
2024-02-03 18:54:07,377 - Finish: chroot init
2024-02-03 18:54:08,184 - Start: chroot ['uname -r']
2024-02-03 18:54:12,168 - Finish: chroot ['uname -r']
2024-02-03 18:57:47,981 - Mock Version: 5.0
2024-02-03 18:57:50,579 - Start: chroot init
2024-02-03 19:01:41,584 - Finish: chroot init
2024-02-03 19:01:42,238 - Start: build phase for coq-8.18.0-4.fc40.src.rpm
2024-02-03 19:01:44,161 - Start: build setup for coq-8.18.0-4.fc40.src.rpm
2024-02-03 19:05:05,174 - Finish: build setup for coq-8.18.0-4.fc40.src.rpm
2024-02-03 19:05:05,181 - Finish: build phase for coq-8.18.0-4.fc40.src.rpm