2023-12-21 08:58:05,167 - Mock Version: 2.15
2023-12-21 08:58:06,673 - Start: dnf install
2023-12-21 09:02:28,724 - Finish: dnf install
2023-12-21 09:02:29,892 - Finish: chroot init
2023-12-21 09:02:30,369 - Finish: run
2023-12-21 09:02:39,650 - Mock Version: 2.15
2023-12-21 09:02:41,260 - Finish: chroot init
2023-12-21 09:02:41,284 - Start: chroot ['uname -r']
2023-12-21 09:02:41,373 - Finish: chroot ['uname -r']
2023-12-21 09:02:51,804 - Mock Version: 2.15
2023-12-21 09:02:55,451 - Finish: chroot init
2023-12-21 09:02:55,476 - Start: build phase for coq-8.17.1-8.fc40.src.rpm
2023-12-21 09:02:55,516 - Start: build setup for coq-8.17.1-8.fc40.src.rpm
2023-12-21 09:06:59,199 - Finish: build setup for coq-8.17.1-8.fc40.src.rpm
2023-12-21 09:06:59,205 - Start: rpmbuild coq-8.17.1-8.fc40.src.rpm
2023-12-21 12:33:00,247 - Finish: rpmbuild coq-8.17.1-8.fc40.src.rpm
2023-12-21 12:33:04,392 - Finish: build phase for coq-8.17.1-8.fc40.src.rpm
2023-12-21 12:33:04,430 - Finish: run