New comment by ii8 on void-packages repository https://github.com/void-linux/void-packages/pull/46951#issuecomment-1799293094 Comment: I don't mind either way, just mentioning the options. But I should mention that bootstrapping mlton with itself is recommended by the author and polyml fails for x86. Where should it be hosted? Though it's several files of generated sml, just all in one patch.