They should be in the repository now, but you can also find the packages here: https://osquery.io/downloads/official/4.0.2