Earlier this year, @hagi planned to create some Linux repositories, but I don’t know if that eventuated.