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

https://github.com/hazen2215/void-packages minisat
https://github.com/void-linux/void-packages/pull/44680

minisat: update to 2.2.1, switch to maintained fork.
<!-- Uncomment relevant sections and delete options which are not applicable -->

switch to maintained fork (https://github.com/stp/minisat)

#### Testing the changes
- I tested the changes in this PR: **YES**

<!--
#### New package
- This new package conforms to the [package requirements](https://github.com/void-linux/void-packages/blob/master/CONTRIBUTING.md#package-requirements): **YES**|**NO**
-->

<!-- Note: If the build is likely to take more than 2 hours, please add ci skip tag as described in
https://github.com/void-linux/void-packages/blob/master/CONTRIBUTING.md#continuous-integration
and test at least one native build and, if supported, at least one cross build.
Ignore this section if this PR is not skipping CI.
-->
#### Local build testing
- I built this PR locally for my native architecture, (x86_64-musl)


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