$ git clone -n http://fedora.riscv.rocks:3000/rpms/ghc-lens-family-core.git /var/lib/mock/f38-build-725612-99707/root/chroot_tmpdir/scmroot/ghc-lens-family-core Cloning into '/var/lib/mock/f38-build-725612-99707/root/chroot_tmpdir/scmroot/ghc-lens-family-core'... $ git reset --hard 1aa1dbf5c0204f43c6fba79fb62f7c7b006396b0 HEAD is now at 1aa1dbf Rebuilt for Fedora/RISCV (riscv64); adding .rvreX to Release: