Pgadmin4 apt packages.

[Tim Uckun]

Where are the pgadmin4 apt packages? I have set up the PPA as specified on
the download page but I see no pgadmin4 packages in the list.

I am running ubuntu 17-10 but I had to set up the zesty PPA because there
are apt repos for artfful.