2020-11-27 09:39:14,347 - Mock Version: 1.4.21
2020-11-27 09:39:25,313 - Start: dnf install
2020-11-27 09:51:52,190 - Finish: dnf install
2020-11-27 09:52:03,511 - Finish: chroot init
2020-11-27 09:52:06,645 - Finish: run
2020-11-27 09:52:53,912 - Mock Version: 1.4.21
2020-11-27 09:53:25,256 - Finish: chroot init
2020-11-27 09:53:25,493 - Start: build phase for coq-8.12.0-3.fc33.1.src.rpm
2020-11-27 09:53:25,892 - Start: build setup for coq-8.12.0-3.fc33.1.src.rpm
2020-11-27 09:54:22,411 - Finish: build setup for coq-8.12.0-3.fc33.1.src.rpm
2020-11-27 09:54:22,419 - Finish: build phase for coq-8.12.0-3.fc33.1.src.rpm