2021-04-09 17:29:56,757 - Mock Version: 1.4.21
2021-04-09 17:30:03,506 - Start: dnf install
2021-04-09 17:38:19,797 - Finish: dnf install
2021-04-09 17:38:26,207 - Finish: chroot init
2021-04-09 17:38:27,946 - Finish: run
2021-04-09 17:38:55,036 - Mock Version: 1.4.21
2021-04-09 17:39:12,658 - Finish: chroot init
2021-04-09 17:39:12,772 - Start: build phase for coq-8.12.2-1.fc33.src.rpm
2021-04-09 17:39:12,949 - Start: build setup for coq-8.12.2-1.fc33.src.rpm
2021-04-09 17:39:46,831 - Finish: build setup for coq-8.12.2-1.fc33.src.rpm
2021-04-09 17:39:46,835 - Finish: build phase for coq-8.12.2-1.fc33.src.rpm