2020-08-23 14:05:01,572 - Mock Version: 1.4.21
2020-08-23 14:05:14,436 - Start: dnf install
2020-08-23 14:18:43,960 - Finish: dnf install
2020-08-23 14:18:54,622 - Finish: chroot init
2020-08-23 14:18:57,573 - Finish: run
2020-08-23 14:19:45,145 - Mock Version: 1.4.21
2020-08-23 14:20:14,296 - Finish: chroot init
2020-08-23 14:20:14,447 - Start: build phase for yices-2.6.2-5.fc33.src.rpm
2020-08-23 14:20:14,757 - Start: build setup for yices-2.6.2-5.fc33.src.rpm
2020-08-23 14:21:17,585 - Finish: build setup for yices-2.6.2-5.fc33.src.rpm
2020-08-23 14:21:17,591 - Finish: build phase for yices-2.6.2-5.fc33.src.rpm