2020-08-16 20:24:29,574 - Mock Version: 1.4.21
2020-08-16 20:24:38,247 - Start: dnf install
2020-08-16 20:34:36,417 - Finish: dnf install
2020-08-16 20:34:45,567 - Finish: chroot init
2020-08-16 20:34:48,225 - Finish: run
2020-08-16 20:35:31,322 - Mock Version: 1.4.21
2020-08-16 20:35:54,901 - Finish: chroot init
2020-08-16 20:35:55,097 - Start: build phase for cbmc-5.12-2.fc33.src.rpm
2020-08-16 20:35:55,430 - Start: build setup for cbmc-5.12-2.fc33.src.rpm
2020-08-16 20:36:44,959 - Finish: build setup for cbmc-5.12-2.fc33.src.rpm
2020-08-16 20:36:44,963 - Finish: build phase for cbmc-5.12-2.fc33.src.rpm