2021-04-08 11:45:04,266 - Mock Version: 1.4.21
2021-04-08 11:45:13,857 - Start: dnf install
2021-04-08 11:59:37,649 - Finish: dnf install
2021-04-08 12:00:04,936 - Finish: chroot init
2021-04-08 12:00:06,916 - Finish: run
2021-04-08 12:00:40,056 - Mock Version: 1.4.21
2021-04-08 12:01:18,282 - Finish: chroot init
2021-04-08 12:01:18,495 - Start: build phase for coq-8.12.2-1.fc33.src.rpm
2021-04-08 12:01:18,830 - Start: build setup for coq-8.12.2-1.fc33.src.rpm
2021-04-08 12:02:10,514 - Finish: build setup for coq-8.12.2-1.fc33.src.rpm
2021-04-08 12:02:10,520 - Finish: build phase for coq-8.12.2-1.fc33.src.rpm