2020-05-08 14:59:31,189 - Mock Version: 1.4.21
2020-05-08 14:59:40,788 - Start: dnf install
2020-05-08 15:10:01,549 - Finish: dnf install
2020-05-08 15:10:10,451 - Finish: chroot init
2020-05-08 15:10:12,923 - Finish: run
2020-05-08 15:10:50,798 - Mock Version: 1.4.21
2020-05-08 15:11:16,543 - Finish: chroot init
2020-05-08 15:11:16,734 - Start: build phase for yices-2.6.2-3.fc33.src.rpm
2020-05-08 15:11:17,037 - Start: build setup for yices-2.6.2-3.fc33.src.rpm
2020-05-08 15:51:04,729 - Finish: build setup for yices-2.6.2-3.fc33.src.rpm
2020-05-08 15:51:04,775 - Start: rpmbuild yices-2.6.2-3.fc33.src.rpm
2020-05-08 17:12:43,937 - Finish: rpmbuild yices-2.6.2-3.fc33.src.rpm
2020-05-08 17:12:43,945 - Finish: build phase for yices-2.6.2-3.fc33.src.rpm