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

2024-01-20 Thread notify
Request #52959 has been Accepted by muflone [1]: [Autogenerated] Accepted deletion for ocaml-menhir-compcert. [1] https://aur.archlinux.org/account/muflone/

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

2024-01-12 Thread 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/