$ git clone -n https://src.fedoraproject.org/rpms/ocaml-mlgmpidl.git /var/lib/mock/f29-build-6066-1491/root/thebuilddir/tmp/scmroot/ocaml-mlgmpidl Cloning into '/var/lib/mock/f29-build-6066-1491/root/thebuilddir/tmp/scmroot/ocaml-mlgmpidl'... $ git reset --hard c3451abbd5eee6121a6afd1c0622132259554ded HEAD is now at c3451ab Link the shared library with -lmpfr -lgmp.