There's a merged pull request on the void-packages repository micropython: update to 1.12. https://github.com/void-linux/void-packages/pull/18270 Description: