2022-07-07 08:38:04,266 - Mock Version: 3.0
2022-07-07 08:38:04,742 - Start: dnf update
2022-07-07 08:38:07,074 - Finish: dnf update
2022-07-07 08:38:07,079 - Finish: chroot init
2022-07-07 08:38:07,081 - Start: build phase for yices-2.6.4-3.fc37.src.rpm
2022-07-07 08:38:07,082 - Start: build setup for yices-2.6.4-3.fc37.src.rpm
2022-07-07 08:38:53,812 - Finish: build setup for yices-2.6.4-3.fc37.src.rpm
2022-07-07 08:38:53,813 - Start: rpmbuild yices-2.6.4-3.fc37.src.rpm
2022-07-07 08:46:05,973 - Finish: rpmbuild yices-2.6.4-3.fc37.src.rpm
2022-07-07 08:46:06,014 - Finish: build phase for yices-2.6.4-3.fc37.src.rpm