The deb distribution would be the one for
Ubuntu. But I did not see that anywhere on the download page. I still do not see it.