2020-05-10 01:12:45,425 - Mock Version: 1.4.21
2020-05-10 01:12:52,837 - Start: dnf install
2020-05-10 01:22:05,994 - Finish: dnf install
2020-05-10 01:22:13,329 - Finish: chroot init
2020-05-10 01:22:15,352 - Finish: run
2020-05-10 01:22:51,390 - Mock Version: 1.4.21
2020-05-10 01:23:14,769 - Finish: chroot init
2020-05-10 01:23:14,890 - Start: build phase for coq-8.11.0-5.fc33.src.rpm
2020-05-10 01:23:15,107 - Start: build setup for coq-8.11.0-5.fc33.src.rpm
2020-05-10 01:23:54,404 - Finish: build setup for coq-8.11.0-5.fc33.src.rpm
2020-05-10 01:23:54,408 - Finish: build phase for coq-8.11.0-5.fc33.src.rpm