$ git clone -n https://src.fedoraproject.org/rpms/cvc4.git /var/lib/mock/f37-build-side-32-misc-devel-397361-16026/root/chroot_tmpdir/scmroot/cvc4
Cloning into '/var/lib/mock/f37-build-side-32-misc-devel-397361-16026/root/chroot_tmpdir/scmroot/cvc4'...
$ git reset --hard f7c24c6ad72a8812d244313f13032fa23d393315
HEAD is now at f7c24c6 Add -bash-patsub-replacement patch to fix FTBFS.