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

New package: leanify-0.4.3
https://github.com/void-linux/void-packages/pull/20651

Description: