2024-02-16 12:16:20,570 - Mock Version: 5.0 2024-02-16 12:16:20,794 - Start: chroot init 2024-02-16 12:16:46,942 - Start: installing minimal buildroot with dnf 2024-02-16 12:27:26,837 - Finish: installing minimal buildroot with dnf 2024-02-16 12:27:39,080 - Finish: chroot init 2024-02-16 12:27:41,493 - Finish: run 2024-02-16 12:28:13,289 - Mock Version: 5.0 2024-02-16 12:28:13,745 - Start: chroot init 2024-02-16 12:28:52,140 - Finish: chroot init 2024-02-16 12:28:52,233 - Start: chroot ['uname -r'] 2024-02-16 12:28:52,928 - Finish: chroot ['uname -r'] 2024-02-16 12:29:41,438 - Mock Version: 5.0 2024-02-16 12:29:42,080 - Start: chroot init 2024-02-16 12:30:31,560 - Finish: chroot init 2024-02-16 12:30:31,648 - Start: build phase for Agda-stdlib-1.7.3-1.fc40.src.rpm 2024-02-16 12:30:31,834 - Start: build setup for Agda-stdlib-1.7.3-1.fc40.src.rpm 2024-02-16 12:30:53,175 - Finish: build setup for Agda-stdlib-1.7.3-1.fc40.src.rpm 2024-02-16 12:30:53,180 - Finish: build phase for Agda-stdlib-1.7.3-1.fc40.src.rpm