$ git clone -n https://src.fedoraproject.org/rpms/ghc-ieee754.git /var/lib/mock/f31-build-100814-33246/root/chroot_tmpdir/scmroot/ghc-ieee754 Cloning into '/var/lib/mock/f31-build-100814-33246/root/chroot_tmpdir/scmroot/ghc-ieee754'... $ git reset --hard 72f773c78fb4e28beb535f86121aae24ce3e0541 HEAD is now at 72f773c BR prof for lib and static for executable