$ git clone -n https://src.fedoraproject.org/rpms/gappalib-coq.git /var/lib/mock/f40-build-740052-109448/root/chroot_tmpdir/scmroot/gappalib-coq
Cloning into '/var/lib/mock/f40-build-740052-109448/root/chroot_tmpdir/scmroot/gappalib-coq'...
$ git reset --hard d5072176a5e6408e12667f9b32993ef0d68f8cc7
HEAD is now at d507217 Experimentally change coqver to match version in Rawhide