2023-11-21 20:12:33,569 - Mock Version: 5.0 2023-11-21 20:12:34,125 - Start: chroot init 2023-11-21 20:13:07,932 - Start: installing minimal buildroot with dnf 2023-11-21 20:25:46,259 - Finish: installing minimal buildroot with dnf 2023-11-21 20:25:57,453 - Finish: chroot init 2023-11-21 20:25:59,817 - Finish: run 2023-11-21 20:26:34,618 - Mock Version: 5.0 2023-11-21 20:26:35,130 - Start: chroot init 2023-11-21 20:27:13,462 - Finish: chroot init 2023-11-21 20:27:13,675 - Start: chroot ['uname -r'] 2023-11-21 20:27:14,600 - Finish: chroot ['uname -r'] 2023-11-21 20:27:59,882 - Mock Version: 5.0 2023-11-21 20:28:00,382 - Start: chroot init 2023-11-21 20:28:44,057 - Finish: chroot init 2023-11-21 20:28:44,224 - Start: build phase for cvc5-1.0.8-1.fc39.src.rpm 2023-11-21 20:28:44,568 - Start: build setup for cvc5-1.0.8-1.fc39.src.rpm 2023-11-21 20:40:29,468 - Finish: build setup for cvc5-1.0.8-1.fc39.src.rpm 2023-11-21 20:40:29,538 - Start: Outputting list of installed packages 2023-11-21 20:40:34,483 - Finish: Outputting list of installed packages 2023-11-21 20:40:34,491 - Start: rpmbuild cvc5-1.0.8-1.fc39.src.rpm 2023-11-21 23:35:02,389 - Finish: rpmbuild cvc5-1.0.8-1.fc39.src.rpm 2023-11-21 23:35:02,400 - Finish: build phase for cvc5-1.0.8-1.fc39.src.rpm