2023-05-03 20:39:01,797 - Mock Version: 3.5
2023-05-03 20:39:02,478 - Start: dnf update
2023-05-03 20:40:29,000 - Finish: dnf update
2023-05-03 20:40:29,013 - Finish: chroot init
2023-05-03 20:40:29,017 - Start: build phase for python-cbmc-starter-kit-2.10-1.fc39.src.rpm
2023-05-03 20:40:29,019 - Start: build setup for python-cbmc-starter-kit-2.10-1.fc39.src.rpm
2023-05-03 20:41:56,377 - Finish: build setup for python-cbmc-starter-kit-2.10-1.fc39.src.rpm
2023-05-03 20:41:56,378 - Start: rpmbuild python-cbmc-starter-kit-2.10-1.fc39.src.rpm
2023-05-03 20:42:08,699 - Finish: rpmbuild python-cbmc-starter-kit-2.10-1.fc39.src.rpm
2023-05-03 20:42:08,708 - Finish: build phase for python-cbmc-starter-kit-2.10-1.fc39.src.rpm