MarsSeed [1] filed a deletion request for php-propro [2]: Abandoned by upstream since 2018; doesn't build with PHP8.
But it seems no one needs this anymore. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/php-propro/
