2021-05-07 06:31:17,019 - Mock Version: 1.4.21
2021-05-07 06:31:28,037 - Start: dnf install
2021-05-07 06:43:22,854 - Finish: dnf install
2021-05-07 06:43:34,267 - Finish: chroot init
2021-05-07 06:43:36,816 - Finish: run
2021-05-07 06:44:19,030 - Mock Version: 1.4.21
2021-05-07 06:44:45,917 - Finish: chroot init
2021-05-07 06:44:46,043 - Start: build phase for coq-8.12.2-1.fc33.src.rpm
2021-05-07 06:44:46,248 - Start: build setup for coq-8.12.2-1.fc33.src.rpm
2021-05-07 06:45:36,876 - Finish: build setup for coq-8.12.2-1.fc33.src.rpm
2021-05-07 06:45:36,881 - Finish: build phase for coq-8.12.2-1.fc33.src.rpm