2020-08-16 20:20:25,276 - Mock Version: 1.4.21
2020-08-16 20:20:36,115 - Start: dnf install
2020-08-16 20:31:43,105 - Finish: dnf install
2020-08-16 20:31:51,628 - Finish: chroot init
2020-08-16 20:31:53,787 - Finish: run
2020-08-16 20:32:31,548 - Mock Version: 1.4.21
2020-08-16 20:32:54,330 - Finish: chroot init
2020-08-16 20:32:54,482 - Start: build phase for yices-2.6.2-5.fc33.src.rpm
2020-08-16 20:32:54,698 - Start: build setup for yices-2.6.2-5.fc33.src.rpm
2020-08-16 20:33:46,273 - Finish: build setup for yices-2.6.2-5.fc33.src.rpm
2020-08-16 20:33:46,278 - Finish: build phase for yices-2.6.2-5.fc33.src.rpm