2023-07-10 20:08:41,998 - Mock Version: 3.5
2023-07-10 20:08:56,566 - Start: dnf install
2023-07-10 20:17:40,087 - Finish: dnf install
2023-07-10 20:17:48,269 - Finish: chroot init
2023-07-10 20:17:50,262 - Finish: run
2023-07-10 20:18:53,677 - Mock Version: 3.5
2023-07-10 20:19:09,236 - Finish: chroot init
2023-07-10 20:19:09,400 - Start: chroot ['uname -r']
2023-07-10 20:19:10,034 - Finish: chroot ['uname -r']
2023-07-10 20:20:32,809 - Mock Version: 3.5
2023-07-10 20:21:00,934 - Finish: chroot init
2023-07-10 20:21:01,096 - Start: build phase for coq-8.17.0-1.fc38.src.rpm
2023-07-10 20:21:01,349 - Start: build setup for coq-8.17.0-1.fc38.src.rpm
2023-07-10 20:32:23,861 - Finish: build setup for coq-8.17.0-1.fc38.src.rpm
2023-07-10 20:32:23,922 - Start: Outputting list of installed packages
2023-07-10 20:32:27,716 - Finish: Outputting list of installed packages
2023-07-10 20:32:27,724 - Start: rpmbuild coq-8.17.0-1.fc38.src.rpm
2023-07-10 22:12:22,877 - Finish: rpmbuild coq-8.17.0-1.fc38.src.rpm
2023-07-10 22:12:22,891 - Finish: build phase for coq-8.17.0-1.fc38.src.rpm