There is a new pull request by paper42 against master on the void-packages repository

https://github.com/paper42/void-packages remove-pgadmin3
https://github.com/void-linux/void-packages/pull/38596

pgadmin3: remove package
doesn't build with recent postgresql

cc @arete @Chocimier

Closes #37696

A patch file from https://github.com/void-linux/void-packages/pull/38596.patch is attached