2023-01-21 21:54:16,330 - Mock Version: 3.5
2023-01-21 21:54:17,153 - Start: dnf update
2023-01-21 21:54:19,394 - Finish: dnf update
2023-01-21 21:54:19,418 - Finish: chroot init
2023-01-21 21:54:19,426 - Start: build phase for yices-2.6.4-5.fc38.src.rpm
2023-01-21 21:54:19,431 - Start: build setup for yices-2.6.4-5.fc38.src.rpm
2023-01-21 21:55:40,170 - Finish: build setup for yices-2.6.4-5.fc38.src.rpm
2023-01-21 21:55:40,172 - Start: rpmbuild yices-2.6.4-5.fc38.src.rpm
2023-01-21 22:02:46,444 - Finish: rpmbuild yices-2.6.4-5.fc38.src.rpm
2023-01-21 22:02:46,485 - Finish: build phase for yices-2.6.4-5.fc38.src.rpm