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