2022-12-24 02:32:53,716 - Mock Version: 3.5
2022-12-24 02:32:56,400 - Start: dnf update
2022-12-24 02:33:09,935 - Finish: dnf update
2022-12-24 02:33:09,954 - Finish: chroot init
2022-12-24 02:33:09,961 - Start: build phase for gappalib-coq-1.5.2-5.fc38.src.rpm
2022-12-24 02:33:09,964 - Start: build setup for gappalib-coq-1.5.2-5.fc38.src.rpm
2022-12-24 02:33:56,241 - Finish: build setup for gappalib-coq-1.5.2-5.fc38.src.rpm
2022-12-24 02:33:56,243 - Start: rpmbuild gappalib-coq-1.5.2-5.fc38.src.rpm
2022-12-24 02:34:36,051 - Finish: rpmbuild gappalib-coq-1.5.2-5.fc38.src.rpm
2022-12-24 02:34:36,064 - Finish: build phase for gappalib-coq-1.5.2-5.fc38.src.rpm