$ git clone -n https://src.fedoraproject.org/rpms/cadical.git /var/lib/mock/f40-build-801495-143799/root/chroot_tmpdir/scmroot/cadical
Cloning into '/var/lib/mock/f40-build-801495-143799/root/chroot_tmpdir/scmroot/cadical'...
$ git reset --hard d37aa89b3903fa790020673b116cee8b4d827ee9
HEAD is now at d37aa89 Version 1.9.5