chore: remove (lang coq) Coq Build Language#14525

Alizter merged 1 commit into

ocaml:mainocaml/dune:mainfrom

Alizter:push-rwxqoqvxqnkkAlizter/dune:push-rwxqoqvxqnkkCopy head branch name to clipboard