$ git clone -n https://src.fedoraproject.org/rpms/coq.git /var/lib/mock/f33-build-167703-43511/root/chroot_tmpdir/scmroot/coq
Cloning into '/var/lib/mock/f33-build-167703-43511/root/chroot_tmpdir/scmroot/coq'...
$ git reset --hard 8ec920a2ed402704518d5903fe4aa19ed454995a
HEAD is now at 8ec920a Version 8.11.0. Drop upstreamed 0002-fix-signal-polling-for-OCaml-4.10.patch. Stop bundling the python3 runtime for antlr4.