2023-04-01 16:15:43,191 - Mock Version: 3.5 2023-04-01 16:15:43,401 - Start: dnf install 2023-04-01 16:16:24,567 - Finish: dnf install 2023-04-01 16:16:26,464 - Finish: chroot init 2023-04-01 16:16:26,886 - Finish: run 2023-04-01 16:16:30,283 - Mock Version: 3.5 2023-04-01 16:16:30,981 - Finish: chroot init 2023-04-01 16:16:30,988 - Start: chroot ['uname -r'] 2023-04-01 16:16:31,336 - Finish: chroot ['uname -r'] 2023-04-01 16:16:36,149 - Mock Version: 3.5 2023-04-01 16:16:38,920 - Finish: chroot init 2023-04-01 16:16:38,925 - Start: build phase for coq-8.17.0-1.fc39.src.rpm 2023-04-01 16:16:38,927 - Start: build setup for coq-8.17.0-1.fc39.src.rpm 2023-04-01 16:17:15,408 - Finish: build setup for coq-8.17.0-1.fc39.src.rpm 2023-04-01 16:17:15,410 - Start: rpmbuild coq-8.17.0-1.fc39.src.rpm 2023-04-01 16:35:44,869 - Finish: rpmbuild coq-8.17.0-1.fc39.src.rpm 2023-04-01 16:35:44,986 - Finish: build phase for coq-8.17.0-1.fc39.src.rpm 2023-04-01 16:35:44,993 - Finish: run