2022-12-24 07:36:36,942 - Mock Version: 3.5
2022-12-24 07:36:38,399 - Start: dnf update
2022-12-24 07:36:47,157 - Finish: dnf update
2022-12-24 07:36:47,172 - Finish: chroot init
2022-12-24 07:36:47,177 - Start: build phase for gappalib-coq-1.5.2-5.fc38.src.rpm
2022-12-24 07:36:47,180 - Start: build setup for gappalib-coq-1.5.2-5.fc38.src.rpm
2022-12-24 07:37:49,360 - Finish: build setup for gappalib-coq-1.5.2-5.fc38.src.rpm
2022-12-24 07:37:49,362 - Start: rpmbuild gappalib-coq-1.5.2-5.fc38.src.rpm
2022-12-24 07:38:39,539 - Finish: rpmbuild gappalib-coq-1.5.2-5.fc38.src.rpm
2022-12-24 07:38:39,550 - Finish: build phase for gappalib-coq-1.5.2-5.fc38.src.rpm