2020-05-08 07:50:10,240 - Mock Version: 1.4.21
2020-05-08 07:50:19,170 - Start: dnf install
2020-05-08 07:59:40,786 - Finish: dnf install
2020-05-08 07:59:48,317 - Finish: chroot init
2020-05-08 07:59:50,189 - Finish: run
2020-05-08 08:00:25,249 - Mock Version: 1.4.21
2020-05-08 08:00:45,225 - Finish: chroot init
2020-05-08 08:00:45,353 - Start: build phase for cvc4-1.7-9.fc33.src.rpm
2020-05-08 08:00:45,554 - Start: build setup for cvc4-1.7-9.fc33.src.rpm
2020-05-08 08:01:27,851 - Finish: build setup for cvc4-1.7-9.fc33.src.rpm
2020-05-08 08:01:27,857 - Finish: build phase for cvc4-1.7-9.fc33.src.rpm