$ git clone -n https://src.fedoraproject.org/rpms/gap-pkg-semigroups.git /var/lib/mock/f33-build-515512-64538/root/chroot_tmpdir/scmroot/gap-pkg-semigroups Cloning into '/var/lib/mock/f33-build-515512-64538/root/chroot_tmpdir/scmroot/gap-pkg-semigroups'... $ git reset --hard 678dde989419d78fc38b0edcaca7b1a69f5c255d HEAD is now at 678dde9 Set the include directory for eigen3 in CPPFLAGS.