2022-12-24 16:50:05,299 - Mock Version: 3.5 2022-12-24 16:50:05,949 - Start: dnf update 2022-12-24 16:50:11,355 - Finish: dnf update 2022-12-24 16:50:11,367 - Finish: chroot init 2022-12-24 16:50:11,371 - Start: build phase for gappalib-coq-1.5.2-5.fc38.src.rpm 2022-12-24 16:50:11,372 - Start: build setup for gappalib-coq-1.5.2-5.fc38.src.rpm 2022-12-24 16:50:25,251 - Finish: build setup for gappalib-coq-1.5.2-5.fc38.src.rpm 2022-12-24 16:50:25,252 - Start: rpmbuild gappalib-coq-1.5.2-5.fc38.src.rpm 2022-12-24 16:50:57,865 - Finish: rpmbuild gappalib-coq-1.5.2-5.fc38.src.rpm 2022-12-24 16:50:57,873 - Finish: build phase for gappalib-coq-1.5.2-5.fc38.src.rpm