$ git clone -n http://fedora.riscv.rocks:3000/rpms/ghc-ieee754.git /var/lib/mock/f38-build-725599-99707/root/chroot_tmpdir/scmroot/ghc-ieee754
Cloning into '/var/lib/mock/f38-build-725599-99707/root/chroot_tmpdir/scmroot/ghc-ieee754'...
$ git reset --hard 7da7d7a65f200635b84e0ddc7f24a8c9c0674a33
HEAD is now at 7da7d7a Rebuilt for Fedora/RISCV (riscv64); adding .rvreX to Release: