2021-05-07 10:55:28,099 - Mock Version: 1.4.21
2021-05-07 10:55:35,610 - Start: dnf install
2021-05-07 11:05:33,665 - Finish: dnf install
2021-05-07 11:05:41,790 - Finish: chroot init
2021-05-07 11:05:44,178 - Finish: run
2021-05-07 11:06:19,408 - Mock Version: 1.4.21
2021-05-07 11:06:43,445 - Finish: chroot init
2021-05-07 11:06:43,564 - Start: build phase for coq-8.12.2-1.fc33.src.rpm
2021-05-07 11:06:43,833 - Start: build setup for coq-8.12.2-1.fc33.src.rpm
2021-05-07 11:07:28,374 - Finish: build setup for coq-8.12.2-1.fc33.src.rpm
2021-05-07 11:07:28,378 - Finish: build phase for coq-8.12.2-1.fc33.src.rpm