2021-04-09 02:55:00,425 - Mock Version: 1.4.21
2021-04-09 02:55:07,403 - Start: dnf install
2021-04-09 03:04:18,461 - Finish: dnf install
2021-04-09 03:04:26,545 - Finish: chroot init
2021-04-09 03:04:28,501 - Finish: run
2021-04-09 03:04:57,163 - Mock Version: 1.4.21
2021-04-09 03:05:19,597 - Finish: chroot init
2021-04-09 03:05:19,710 - Start: build phase for cbmc-5.25.0-1.fc33.src.rpm
2021-04-09 03:05:19,889 - Start: build setup for cbmc-5.25.0-1.fc33.src.rpm
2021-04-09 03:05:57,811 - Finish: build setup for cbmc-5.25.0-1.fc33.src.rpm
2021-04-09 03:05:57,817 - Finish: build phase for cbmc-5.25.0-1.fc33.src.rpm