2023-08-21 16:41:20,833 - Mock Version: 3.5
2023-08-21 16:41:36,032 - Start: dnf install
2023-08-21 16:49:52,402 - Finish: dnf install
2023-08-21 16:50:00,081 - Finish: chroot init
2023-08-21 16:50:01,862 - Finish: run
2023-08-21 16:51:00,671 - Mock Version: 3.5
2023-08-21 16:51:15,287 - Finish: chroot init
2023-08-21 16:51:15,428 - Start: chroot ['uname -r']
2023-08-21 16:51:16,007 - Finish: chroot ['uname -r']
2023-08-21 16:52:31,886 - Mock Version: 3.5
2023-08-21 16:52:57,274 - Finish: chroot init
2023-08-21 16:52:57,421 - Start: build phase for yices-2.6.4-6.fc38.src.rpm
2023-08-21 16:52:57,652 - Start: build setup for yices-2.6.4-6.fc38.src.rpm
2023-08-21 17:28:43,759 - Finish: build setup for yices-2.6.4-6.fc38.src.rpm
2023-08-21 17:28:43,819 - Start: Outputting list of installed packages
2023-08-21 17:28:49,420 - Finish: Outputting list of installed packages
2023-08-21 17:28:49,429 - Start: rpmbuild yices-2.6.4-6.fc38.src.rpm
2023-08-21 19:08:59,439 - Finish: rpmbuild yices-2.6.4-6.fc38.src.rpm
2023-08-21 19:08:59,448 - Finish: build phase for yices-2.6.4-6.fc38.src.rpm