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

New package: tinygo-0.13.1.
https://github.com/void-linux/void-packages/pull/23426

Description:
Based on #17955 by @renatoaguiar.