2020-12-28 01:57:51,364 - Mock Version: 1.4.21
2020-12-28 01:57:57,568 - Start: dnf install
2020-12-28 02:05:49,001 - Finish: dnf install
2020-12-28 02:05:55,183 - Finish: chroot init
2020-12-28 02:05:56,732 - Finish: run
2020-12-28 02:06:23,209 - Mock Version: 1.4.21
2020-12-28 02:06:40,869 - Finish: chroot init
2020-12-28 02:06:40,972 - Start: build phase for coq-8.12.1-1.fc33.src.rpm
2020-12-28 02:06:41,135 - Start: build setup for coq-8.12.1-1.fc33.src.rpm
2020-12-28 02:07:16,471 - Finish: build setup for coq-8.12.1-1.fc33.src.rpm
2020-12-28 02:07:16,475 - Finish: build phase for coq-8.12.1-1.fc33.src.rpm