2020-05-08 04:41:19,736 - Mock Version: 1.4.21
2020-05-08 04:41:27,450 - Start: dnf install
2020-05-08 04:51:02,169 - Finish: dnf install
2020-05-08 04:51:12,516 - Finish: chroot init
2020-05-08 04:51:15,105 - Finish: run
2020-05-08 04:51:52,106 - Mock Version: 1.4.21
2020-05-08 04:52:13,530 - Finish: chroot init
2020-05-08 04:52:13,657 - Start: build phase for yices-2.6.2-3.fc33.src.rpm
2020-05-08 04:52:13,847 - Start: build setup for yices-2.6.2-3.fc33.src.rpm
2020-05-08 05:33:23,725 - Finish: build setup for yices-2.6.2-3.fc33.src.rpm
2020-05-08 05:33:23,779 - Start: rpmbuild yices-2.6.2-3.fc33.src.rpm
2020-05-08 07:15:17,243 - Finish: rpmbuild yices-2.6.2-3.fc33.src.rpm
2020-05-08 07:15:17,253 - Finish: build phase for yices-2.6.2-3.fc33.src.rpm