[PRQ#85374] Deletion Request for openmp-extras

[notify]

petronny [1] filed a deletion request for openmp-extras [2]:

rocm-openmp is in [extra]

[1] https://aur.archlinux.org/account/petronny/
[2] https://aur.archlinux.org/pkgbase/openmp-extras/