2021-05-01 13:28:18,367 - Mock Version: 1.4.21
2021-05-01 13:28:26,078 - Start: dnf install
2021-05-01 13:37:44,723 - Finish: dnf install
2021-05-01 13:37:54,119 - Finish: chroot init
2021-05-01 13:37:56,202 - Finish: run
2021-05-01 13:38:30,854 - Mock Version: 1.4.21
2021-05-01 13:38:57,620 - Finish: chroot init
2021-05-01 13:38:57,727 - Start: build phase for yices-2.6.2-6.fc33.src.rpm
2021-05-01 13:38:57,900 - Start: build setup for yices-2.6.2-6.fc33.src.rpm
2021-05-01 14:52:07,708 - Finish: build setup for yices-2.6.2-6.fc33.src.rpm
2021-05-01 14:52:07,746 - Start: rpmbuild yices-2.6.2-6.fc33.src.rpm
2021-05-01 17:00:56,953 - Finish: rpmbuild yices-2.6.2-6.fc33.src.rpm
2021-05-01 17:00:56,961 - Finish: build phase for yices-2.6.2-6.fc33.src.rpm