2022-12-28 15:54:58,338 - Mock Version: 3.5
2022-12-28 15:54:59,030 - Start: dnf update
2022-12-28 15:55:01,068 - Finish: dnf update
2022-12-28 15:55:01,080 - Finish: chroot init
2022-12-28 15:55:01,084 - Start: build phase for gappalib-coq-1.5.2-5.fc38.src.rpm
2022-12-28 15:55:01,086 - Start: build setup for gappalib-coq-1.5.2-5.fc38.src.rpm
2022-12-28 15:55:15,037 - Finish: build setup for gappalib-coq-1.5.2-5.fc38.src.rpm
2022-12-28 15:55:15,038 - Start: rpmbuild gappalib-coq-1.5.2-5.fc38.src.rpm
2022-12-28 15:55:47,305 - Finish: rpmbuild gappalib-coq-1.5.2-5.fc38.src.rpm
2022-12-28 15:55:47,314 - Finish: build phase for gappalib-coq-1.5.2-5.fc38.src.rpm