2025-08-22 19:46:14,870 - Mock Version: 4.1
2025-08-22 19:46:14,999 - Start: installing minimal buildroot with dnf
2025-08-22 19:47:11,136 - Finish: installing minimal buildroot with dnf
2025-08-22 19:47:11,335 - Finish: chroot init
2025-08-22 19:47:11,425 - Finish: run
2025-08-22 19:47:13,310 - Mock Version: 4.1
2025-08-22 19:47:13,599 - Finish: chroot init
2025-08-22 19:47:13,601 - Start: chroot ['uname -r']
2025-08-22 19:47:13,621 - Finish: chroot ['uname -r']
2025-08-22 19:47:16,804 - Mock Version: 4.1
2025-08-22 19:47:17,237 - Finish: chroot init
2025-08-22 19:47:17,239 - Start: build phase for idris-1.3.4-2.oc9.src.rpm
2025-08-22 19:47:17,241 - Start: build setup for idris-1.3.4-2.oc9.src.rpm
2025-08-22 19:47:17,822 - Finish: build setup for idris-1.3.4-2.oc9.src.rpm
2025-08-22 19:47:17,822 - Finish: build phase for idris-1.3.4-2.oc9.src.rpm