New comment by tornaria on void-packages repository

https://github.com/void-linux/void-packages/pull/30034#issuecomment-933036239

Comment:
It should now be fixed.

New repo is on https://gitlab.inria.fr/mpfi/mpfi. There are no release tarballs, so must run autoreconf on tag tarballs, but the code is the same as before.

Note that release 1.5.4 is broken in many different ways, and not even HEAD is fixed. A few issues in their gitlab describe the problems and how to fix them, but I don't think it's worth doing anything until they do a new release, since 1.5.3 works out of the box.