2022-01-11 22:12:19,526 - Mock Version: 2.15
2022-01-11 22:12:20,106 - Start: dnf update
2022-01-11 22:12:25,526 - Finish: dnf update
2022-01-11 22:12:25,533 - Finish: chroot init
2022-01-11 22:12:25,535 - Start: build phase for yices-2.6.4-2.fc36.src.rpm
2022-01-11 22:12:25,536 - Start: build setup for yices-2.6.4-2.fc36.src.rpm
2022-01-11 22:13:13,644 - Finish: build setup for yices-2.6.4-2.fc36.src.rpm
2022-01-11 22:13:13,645 - Start: rpmbuild yices-2.6.4-2.fc36.src.rpm
2022-01-11 22:20:28,563 - Finish: rpmbuild yices-2.6.4-2.fc36.src.rpm
2022-01-11 22:20:28,613 - Finish: build phase for yices-2.6.4-2.fc36.src.rpm