2023-05-02 01:39:34,921 - Mock Version: 3.5
2023-05-02 01:39:35,575 - Start: dnf update
2023-05-02 01:39:37,781 - Finish: dnf update
2023-05-02 01:39:37,794 - Finish: chroot init
2023-05-02 01:39:37,799 - Start: build phase for idris-1.3.4-6.fc39.src.rpm
2023-05-02 01:39:37,801 - Start: build setup for idris-1.3.4-6.fc39.src.rpm
2023-05-02 01:39:50,743 - Finish: build setup for idris-1.3.4-6.fc39.src.rpm
2023-05-02 01:39:50,744 - Start: rpmbuild idris-1.3.4-6.fc39.src.rpm
2023-05-02 01:53:36,330 - Finish: rpmbuild idris-1.3.4-6.fc39.src.rpm
2023-05-02 01:53:36,370 - Finish: build phase for idris-1.3.4-6.fc39.src.rpm