2023-06-22 22:30:15,941 - Mock Version: 3.5
2023-06-22 22:30:29,290 - Start: dnf install
2023-06-22 22:38:48,745 - Finish: dnf install
2023-06-22 22:38:55,682 - Finish: chroot init
2023-06-22 22:38:57,674 - Finish: run
2023-06-22 22:39:56,422 - Mock Version: 3.5
2023-06-22 22:40:10,489 - Finish: chroot init
2023-06-22 22:40:10,635 - Start: chroot ['uname -r']
2023-06-22 22:40:11,231 - Finish: chroot ['uname -r']
2023-06-22 22:41:27,689 - Mock Version: 3.5
2023-06-22 22:41:53,879 - Finish: chroot init
2023-06-22 22:41:54,030 - Start: build phase for coq-8.17.0-1.fc38.src.rpm
2023-06-22 22:41:54,283 - Start: build setup for coq-8.17.0-1.fc38.src.rpm
2023-06-22 22:53:31,352 - Finish: build setup for coq-8.17.0-1.fc38.src.rpm
2023-06-22 22:53:31,410 - Start: Outputting list of installed packages
2023-06-22 22:53:35,065 - Finish: Outputting list of installed packages
2023-06-22 22:53:35,074 - Start: rpmbuild coq-8.17.0-1.fc38.src.rpm
2023-06-23 00:34:54,803 - Finish: rpmbuild coq-8.17.0-1.fc38.src.rpm
2023-06-23 00:34:54,813 - Finish: build phase for coq-8.17.0-1.fc38.src.rpm