[PRQ#71651] Orphan Request for divine

MarsSeed [1] filed an orphan request for divine [2]: Self-flagged as OOD by current maintainer since 2017. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/divine/