2020-08-23 16:47:44,546 - Mock Version: 1.4.21
2020-08-23 16:47:53,618 - Start: dnf install
2020-08-23 17:00:16,361 - Finish: dnf install
2020-08-23 17:00:24,774 - Finish: chroot init
2020-08-23 17:00:27,516 - Finish: run
2020-08-23 17:01:07,790 - Mock Version: 1.4.21
2020-08-23 17:01:33,487 - Finish: chroot init
2020-08-23 17:01:33,702 - Start: build phase for yices-2.6.2-5.fc33.src.rpm
2020-08-23 17:01:34,045 - Start: build setup for yices-2.6.2-5.fc33.src.rpm
2020-08-23 17:02:33,461 - Finish: build setup for yices-2.6.2-5.fc33.src.rpm
2020-08-23 17:02:33,468 - Finish: build phase for yices-2.6.2-5.fc33.src.rpm