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

https://github.com/Chocimier/void-packages-org picosat
https://github.com/void-linux/void-packages/pull/31789

picosat: split libpicosat, enable trace
for usage in repodb 

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