2022-12-28 14:11:41,634 - Mock Version: 3.5
2022-12-28 14:11:43,707 - Start: dnf update
2022-12-28 14:11:49,372 - Finish: dnf update
2022-12-28 14:11:49,402 - Finish: chroot init
2022-12-28 14:11:49,412 - Start: build phase for gappalib-coq-1.5.2-5.fc38.src.rpm
2022-12-28 14:11:49,417 - Start: build setup for gappalib-coq-1.5.2-5.fc38.src.rpm
2022-12-28 14:12:34,390 - Finish: build setup for gappalib-coq-1.5.2-5.fc38.src.rpm
2022-12-28 14:12:34,392 - Start: rpmbuild gappalib-coq-1.5.2-5.fc38.src.rpm
2022-12-28 14:13:12,466 - Finish: rpmbuild gappalib-coq-1.5.2-5.fc38.src.rpm
2022-12-28 14:13:12,477 - Finish: build phase for gappalib-coq-1.5.2-5.fc38.src.rpm