2020-05-09 10:14:23,818 - Mock Version: 1.4.21
2020-05-09 10:14:32,640 - Start: dnf install
2020-05-09 10:25:36,642 - Finish: dnf install
2020-05-09 10:25:44,082 - Finish: chroot init
2020-05-09 10:25:46,237 - Finish: run
2020-05-09 10:26:24,160 - Mock Version: 1.4.21
2020-05-09 10:26:46,629 - Finish: chroot init
2020-05-09 10:26:46,800 - Start: build phase for yices-2.6.2-3.fc33.src.rpm
2020-05-09 10:26:47,060 - Start: build setup for yices-2.6.2-3.fc33.src.rpm
2020-05-09 11:06:31,853 - Finish: build setup for yices-2.6.2-3.fc33.src.rpm
2020-05-09 11:06:31,911 - Start: rpmbuild yices-2.6.2-3.fc33.src.rpm
2020-05-09 12:28:35,346 - Finish: rpmbuild yices-2.6.2-3.fc33.src.rpm
2020-05-09 12:28:35,358 - Finish: build phase for yices-2.6.2-3.fc33.src.rpm