2024-02-10 21:13:05,630 - Mock Version: 5.0 2024-02-10 21:13:08,053 - Start: chroot init 2024-02-10 21:15:52,601 - Start: installing minimal buildroot with dnf 2024-02-10 22:17:28,063 - Finish: installing minimal buildroot with dnf 2024-02-10 22:18:29,078 - Finish: chroot init 2024-02-10 22:18:39,881 - Finish: run 2024-02-10 22:21:37,510 - Mock Version: 5.0 2024-02-10 22:21:40,104 - Start: chroot init 2024-02-10 22:25:04,965 - Finish: chroot init 2024-02-10 22:25:05,939 - Start: chroot ['uname -r'] 2024-02-10 22:25:10,809 - Finish: chroot ['uname -r'] 2024-02-10 22:29:17,014 - Mock Version: 5.0 2024-02-10 22:29:20,591 - Start: chroot init 2024-02-10 22:34:05,379 - Finish: chroot init 2024-02-10 22:34:06,711 - Start: build phase for Agda-stdlib-1.7.3-1.fc40.src.rpm 2024-02-10 22:34:08,784 - Start: build setup for Agda-stdlib-1.7.3-1.fc40.src.rpm 2024-02-10 22:37:15,375 - Finish: build setup for Agda-stdlib-1.7.3-1.fc40.src.rpm 2024-02-10 22:37:15,383 - Finish: build phase for Agda-stdlib-1.7.3-1.fc40.src.rpm