$ git clone -n https://src.fedoraproject.org/rpms/gappalib-coq.git /var/lib/mock/f33-build-275614-51641/root/chroot_tmpdir/scmroot/gappalib-coq
Cloning into '/var/lib/mock/f33-build-275614-51641/root/chroot_tmpdir/scmroot/gappalib-coq'...
$ git reset --hard 904f5f6c0f17e62457fdd42956641a5733f9b71f
HEAD is now at 904f5f6 Rebuild for coq 8.11.1.