There's a merged pull request on the void-packages repository micro: adopt. https://github.com/void-linux/void-packages/pull/35783 Description: The package hasn't had any contribution from the maintainer since 2016, so I'l like to adopt it. @diogoleal Since you are currently marked as the maintainer for the micro package, is that ok with you?