$ git clone -n https://src.fedoraproject.org/rpms/msolve.git /var/lib/mock/f40-build-800656-143609/root/chroot_tmpdir/scmroot/msolve
Cloning into '/var/lib/mock/f40-build-800656-143609/root/chroot_tmpdir/scmroot/msolve'...
$ git reset --hard 2b05a5368fa07afba86afd1e4dbf5b9b48fdcfdd
HEAD is now at 2b05a53 Rebuild for flint 3.1.0