2018-02-21 13:32:51,566 - Mock Version: 1.3.4
2018-02-21 13:32:51,792 - Start: dnf install
2018-02-21 13:34:18,670 - Finish: dnf install
2018-02-21 13:34:19,642 - Finish: chroot init
2018-02-21 13:34:19,731 - Finish: run
2018-02-21 13:34:22,176 - Mock Version: 1.3.4
2018-02-21 13:34:23,943 - Finish: chroot init
2018-02-21 13:34:23,949 - Start: build phase for cbmc-5.8-2.fc28.src.rpm
2018-02-21 13:34:23,960 - Start: build setup for cbmc-5.8-2.fc28.src.rpm
2018-02-21 13:41:35,921 - Finish: build setup for cbmc-5.8-2.fc28.src.rpm
2018-02-21 13:41:35,921 - Start: rpmbuild cbmc-5.8-2.fc28.src.rpm
2018-02-21 14:00:36,748 - Finish: rpmbuild cbmc-5.8-2.fc28.src.rpm
2018-02-21 14:00:36,754 - Finish: build phase for cbmc-5.8-2.fc28.src.rpm
2018-02-21 14:00:36,756 - Finish: run