$ git clone -n http://fedora.riscv.rocks:3000/rpms/petsc.git /var/lib/mock/f41-build-840336-160627/root/chroot_tmpdir/scmroot/petsc Cloning into '/var/lib/mock/f41-build-840336-160627/root/chroot_tmpdir/scmroot/petsc'... $ git reset --hard baa5eb7ef65e83d41d4550209427cfa7a523727b HEAD is now at baa5eb7 Rebuilt for Fedora/RISCV (riscv64); adding .rvreX to Release: