2023-07-02 10:16:24,472 - Mock Version: 3.5
2023-07-02 10:16:47,410 - Start: dnf install
2023-07-02 10:28:03,180 - Finish: dnf install
2023-07-02 10:28:15,525 - Finish: chroot init
2023-07-02 10:28:18,825 - Finish: run
2023-07-02 10:29:56,644 - Mock Version: 3.5
2023-07-02 10:30:20,065 - Finish: chroot init
2023-07-02 10:30:20,264 - Start: chroot ['uname -r']
2023-07-02 10:30:21,201 - Finish: chroot ['uname -r']
2023-07-02 10:32:24,362 - Mock Version: 3.5
2023-07-02 10:33:08,087 - Finish: chroot init
2023-07-02 10:33:08,289 - Start: build phase for coq-8.17.0-1.fc38.src.rpm
2023-07-02 10:33:08,796 - Start: build setup for coq-8.17.0-1.fc38.src.rpm
2023-07-02 10:49:40,226 - Finish: build setup for coq-8.17.0-1.fc38.src.rpm
2023-07-02 10:49:40,295 - Start: Outputting list of installed packages
2023-07-02 10:49:46,040 - Finish: Outputting list of installed packages
2023-07-02 10:49:46,051 - Start: rpmbuild coq-8.17.0-1.fc38.src.rpm
2023-07-02 12:53:43,284 - Finish: rpmbuild coq-8.17.0-1.fc38.src.rpm
2023-07-02 12:53:43,304 - Finish: build phase for coq-8.17.0-1.fc38.src.rpm