$ git clone -n https://src.fedoraproject.org/rpms/cadical.git /var/lib/mock/f40-build-773534-127218/root/chroot_tmpdir/scmroot/cadical
Cloning into '/var/lib/mock/f40-build-773534-127218/root/chroot_tmpdir/scmroot/cadical'...
$ git reset --hard f484b5ad58883d9061bf5234a98eaaf15d7afa2c
HEAD is now at f484b5a Stop building for 32-bit x86