2021-04-24 02:59:03,707 - Mock Version: 1.4.21
2021-04-24 02:59:11,382 - Start: dnf install
2021-04-24 03:11:30,912 - Finish: dnf install
2021-04-24 03:11:44,112 - Finish: chroot init
2021-04-24 03:11:46,219 - Finish: run
2021-04-24 03:12:20,096 - Mock Version: 1.4.21
2021-04-24 03:12:48,426 - Finish: chroot init
2021-04-24 03:12:48,576 - Start: build phase for cbmc-5.25.0-1.fc33.src.rpm
2021-04-24 03:12:48,806 - Start: build setup for cbmc-5.25.0-1.fc33.src.rpm
2021-04-24 04:14:43,674 - Finish: build setup for cbmc-5.25.0-1.fc33.src.rpm
2021-04-24 04:14:43,713 - Start: rpmbuild cbmc-5.25.0-1.fc33.src.rpm
2021-04-24 16:08:33,501 - Finish: rpmbuild cbmc-5.25.0-1.fc33.src.rpm
2021-04-24 16:08:41,046 - Finish: build phase for cbmc-5.25.0-1.fc33.src.rpm
2021-04-24 16:08:41,805 - Finish: run