2022-12-28 14:03:08,862 - Mock Version: 3.5
2022-12-28 14:03:10,677 - Start: dnf update
2022-12-28 14:03:22,632 - Finish: dnf update
2022-12-28 14:03:22,647 - Finish: chroot init
2022-12-28 14:03:22,652 - Start: build phase for gappalib-coq-1.5.2-5.fc38.src.rpm
2022-12-28 14:03:22,655 - Start: build setup for gappalib-coq-1.5.2-5.fc38.src.rpm
2022-12-28 14:04:04,982 - Finish: build setup for gappalib-coq-1.5.2-5.fc38.src.rpm
2022-12-28 14:04:04,983 - Start: rpmbuild gappalib-coq-1.5.2-5.fc38.src.rpm
2022-12-28 14:04:45,374 - Finish: rpmbuild gappalib-coq-1.5.2-5.fc38.src.rpm
2022-12-28 14:04:45,384 - Finish: build phase for gappalib-coq-1.5.2-5.fc38.src.rpm