2024-02-12 23:53:53,056 - Mock Version: 5.0
2024-02-12 23:53:55,288 - Start: chroot init
2024-02-12 23:56:03,129 - Start: installing minimal buildroot with dnf
2024-02-13 00:47:28,327 - Finish: installing minimal buildroot with dnf
2024-02-13 00:48:13,546 - Finish: chroot init
2024-02-13 00:48:27,126 - Finish: run
2024-02-13 00:50:52,801 - Mock Version: 5.0
2024-02-13 00:50:55,199 - Start: chroot init
2024-02-13 00:53:49,335 - Finish: chroot init
2024-02-13 00:53:50,001 - Start: chroot ['uname -r']
2024-02-13 00:53:55,190 - Finish: chroot ['uname -r']
2024-02-13 00:58:04,979 - Mock Version: 5.0
2024-02-13 00:58:08,230 - Start: chroot init
2024-02-13 01:02:18,743 - Finish: chroot init
2024-02-13 01:02:19,384 - Start: build phase for coq-8.18.0-4.fc40.src.rpm
2024-02-13 01:02:21,194 - Start: build setup for coq-8.18.0-4.fc40.src.rpm
2024-02-13 02:15:56,911 - Finish: build setup for coq-8.18.0-4.fc40.src.rpm
2024-02-13 02:15:57,314 - Start: Outputting list of installed packages
2024-02-13 02:16:17,479 - Finish: Outputting list of installed packages
2024-02-13 02:16:17,489 - Start: rpmbuild coq-8.18.0-4.fc40.src.rpm
2024-02-13 02:23:52,319 - Finish: rpmbuild coq-8.18.0-4.fc40.src.rpm
2024-02-13 02:23:52,326 - Finish: build phase for coq-8.18.0-4.fc40.src.rpm