[PRQ#50356] Deletion Request for php-propro

5 Nov 2023

      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/

notify＠aur.archlinux.org