2020-05-07 11:09:11,623 - Mock Version: 1.4.21
2020-05-07 11:09:23,871 - Start: dnf install
2020-05-07 11:19:21,405 - Finish: dnf install
2020-05-07 11:19:28,636 - Finish: chroot init
2020-05-07 11:19:30,738 - Finish: run
2020-05-07 11:20:03,689 - Mock Version: 1.4.21
2020-05-07 11:20:24,973 - Finish: chroot init
2020-05-07 11:20:25,101 - Start: build phase for yices-2.6.2-3.fc33.src.rpm
2020-05-07 11:20:25,290 - Start: build setup for yices-2.6.2-3.fc33.src.rpm
2020-05-07 12:08:28,365 - Finish: build setup for yices-2.6.2-3.fc33.src.rpm
2020-05-07 12:08:28,427 - Start: rpmbuild yices-2.6.2-3.fc33.src.rpm
2020-05-07 13:31:28,236 - Finish: rpmbuild yices-2.6.2-3.fc33.src.rpm
2020-05-07 13:31:28,246 - Finish: build phase for yices-2.6.2-3.fc33.src.rpm