2023-08-15 10:20:58,433 - Mock Version: 5.0
2023-08-15 10:20:58,449 - Start(bootstrap): chroot init
2023-08-15 10:20:58,544 - Start(bootstrap): cleaning package manager metadata
2023-08-15 10:20:58,545 - Finish(bootstrap): cleaning package manager metadata
2023-08-15 10:20:59,061 - Finish(bootstrap): chroot init
2023-08-15 10:20:59,070 - Start: chroot init
2023-08-15 10:20:59,119 - Start: unpacking root cache
2023-08-15 10:20:59,869 - Finish: unpacking root cache
2023-08-15 10:20:59,876 - Start: cleaning package manager metadata
2023-08-15 10:20:59,877 - Finish: cleaning package manager metadata
2023-08-15 10:21:00,354 - Start: dnf update
2023-08-15 10:21:02,894 - Finish: dnf update
2023-08-15 10:21:03,301 - Finish: chroot init
2023-08-15 10:21:03,304 - Start: build phase for cvc5-1.0.5-3.fc40.src.rpm
2023-08-15 10:21:03,306 - Start: build setup for cvc5-1.0.5-3.fc40.src.rpm
2023-08-15 10:21:31,489 - Finish: build setup for cvc5-1.0.5-3.fc40.src.rpm
2023-08-15 10:21:31,490 - Start: rpmbuild cvc5-1.0.5-3.fc40.src.rpm
2023-08-15 11:04:02,623 - Finish: rpmbuild cvc5-1.0.5-3.fc40.src.rpm
2023-08-15 11:04:02,716 - Finish: build phase for cvc5-1.0.5-3.fc40.src.rpm