2020-05-10 15:29:38,387 - Mock Version: 1.4.21
2020-05-10 15:29:46,054 - Start: dnf install
2020-05-10 15:39:07,601 - Finish: dnf install
2020-05-10 15:39:14,622 - Finish: chroot init
2020-05-10 15:39:16,454 - Finish: run
2020-05-10 15:39:53,740 - Mock Version: 1.4.21
2020-05-10 15:40:14,694 - Finish: chroot init
2020-05-10 15:40:14,864 - Start: build phase for yices-2.6.2-3.fc33.src.rpm
2020-05-10 15:40:15,098 - Start: build setup for yices-2.6.2-3.fc33.src.rpm
2020-05-10 16:15:28,260 - Finish: build setup for yices-2.6.2-3.fc33.src.rpm
2020-05-10 16:15:28,299 - Start: rpmbuild yices-2.6.2-3.fc33.src.rpm
2020-05-10 17:40:34,565 - Finish: rpmbuild yices-2.6.2-3.fc33.src.rpm
2020-05-10 17:40:34,576 - Finish: build phase for yices-2.6.2-3.fc33.src.rpm