2022-08-10 14:35:54,187 - Mock Version: 3.1
2022-08-10 14:35:54,636 - Start: dnf update
2022-08-10 14:35:56,916 - Finish: dnf update
2022-08-10 14:35:56,922 - Finish: chroot init
2022-08-10 14:35:56,924 - Start: build phase for gappalib-coq-1.5.2-2.fc37.src.rpm
2022-08-10 14:35:56,925 - Start: build setup for gappalib-coq-1.5.2-2.fc37.src.rpm
2022-08-10 14:40:55,544 - Finish: build setup for gappalib-coq-1.5.2-2.fc37.src.rpm
2022-08-10 14:40:55,544 - Start: rpmbuild gappalib-coq-1.5.2-2.fc37.src.rpm
2022-08-10 14:41:33,091 - Finish: rpmbuild gappalib-coq-1.5.2-2.fc37.src.rpm
2022-08-10 14:41:33,097 - Finish: build phase for gappalib-coq-1.5.2-2.fc37.src.rpm