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

https://github.com/Eloitor/void-packages m4rie
https://github.com/void-linux/void-packages/pull/54197

[WIP] m4ri: update to 20250128.
#### Testing the changes
- I tested the changes in this PR: **NO**

#### Local build testing
- I built this PR locally for my native architecture, (x86_64-glibc)

When I tried to install the package I got:

```
brial-1.2.12_1: broken, unresolvable shlib `libm4ri-0.0.20200125.so'
m4rie-20200125_2: broken, unresolvable shlib `libm4ri-0.0.20200125.so'
sagemath-10.5_1: broken, unresolvable shlib `libm4ri-0.0.20200125.so'
Transaction aborted due to unresolved shlibs.
```

How should I proceed?

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