2023-12-13 01:24:37,868 - Mock Version: 2.15 2023-12-13 01:24:39,365 - Start: dnf install 2023-12-13 01:30:07,123 - Finish: dnf install 2023-12-13 01:30:08,283 - Finish: chroot init 2023-12-13 01:30:08,834 - Finish: run 2023-12-13 01:30:18,674 - Mock Version: 2.15 2023-12-13 01:30:20,215 - Finish: chroot init 2023-12-13 01:30:20,239 - Start: chroot ['uname -r'] 2023-12-13 01:30:20,327 - Finish: chroot ['uname -r'] 2023-12-13 01:30:30,753 - Mock Version: 2.15 2023-12-13 01:30:34,412 - Finish: chroot init 2023-12-13 01:30:34,437 - Start: build phase for cvc5-1.0.8-1.fc40.src.rpm 2023-12-13 01:30:34,476 - Start: build setup for cvc5-1.0.8-1.fc40.src.rpm 2023-12-13 01:33:56,003 - Finish: build setup for cvc5-1.0.8-1.fc40.src.rpm 2023-12-13 01:33:56,010 - Start: rpmbuild cvc5-1.0.8-1.fc40.src.rpm 2023-12-13 02:50:38,010 - Finish: rpmbuild cvc5-1.0.8-1.fc40.src.rpm 2023-12-13 02:50:38,011 - Finish: build phase for cvc5-1.0.8-1.fc40.src.rpm