[PRQ#52959] Deletion Request for ocaml-menhir-compcert

[notify]

xuanruiqi [1] filed a deletion request for ocaml-menhir-compcert [2]:

No longer needed.

[1] https://aur.archlinux.org/account/xuanruiqi/
[2] https://aur.archlinux.org/pkgbase/ocaml-menhir-compcert/