2021-04-19 01:36:07,666 - Mock Version: 1.4.21
2021-04-19 01:36:15,420 - Start: dnf install
2021-04-19 01:46:21,645 - Finish: dnf install
2021-04-19 01:46:29,700 - Finish: chroot init
2021-04-19 01:46:31,579 - Finish: run
2021-04-19 01:47:01,686 - Mock Version: 1.4.21
2021-04-19 01:47:25,154 - Finish: chroot init
2021-04-19 01:47:25,269 - Start: build phase for cbmc-5.25.0-1.fc33.src.rpm
2021-04-19 01:47:25,449 - Start: build setup for cbmc-5.25.0-1.fc33.src.rpm
2021-04-19 01:48:10,020 - Finish: build setup for cbmc-5.25.0-1.fc33.src.rpm
2021-04-19 01:48:10,029 - Finish: build phase for cbmc-5.25.0-1.fc33.src.rpm