There's a closed pull request on the void-packages repository

[WIP] m4ri: update to 20250128.
https://github.com/void-linux/void-packages/pull/54197

Description:
#### 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?