Thanks
It is what I found too.
Expect to find a "official" repo from both ethereum or monero...