2022-01-06 11:43:33,980 - Mock Version: 2.15
2022-01-06 11:43:34,584 - Start: dnf update
2022-01-06 11:43:39,549 - Finish: dnf update
2022-01-06 11:43:39,554 - Finish: chroot init
2022-01-06 11:43:39,556 - Start: build phase for cbmc-5.38.0-3.el8.src.rpm
2022-01-06 11:43:39,557 - Start: build setup for cbmc-5.38.0-3.el8.src.rpm
2022-01-06 11:43:41,848 - Finish: build setup for cbmc-5.38.0-3.el8.src.rpm
2022-01-06 11:43:41,849 - Start: rpmbuild cbmc-5.38.0-3.el8.src.rpm
2022-01-06 11:43:42,185 - Finish: rpmbuild cbmc-5.38.0-3.el8.src.rpm
2022-01-06 11:43:42,188 - Finish: build phase for cbmc-5.38.0-3.el8.src.rpm