On Monday 26 of November 2018 15:16:56 Γιώργος Κωστόπουλος wrote:

Hi! :-)

keyserver.quickbuild.io seems to be down. Any alternative keyserver? I tried some, but to no avail.

PS. I know about the related DEB package. PPA's web interface is not available too at the time.

Instead of ppa.quickbuild.io, where Tim is updating and migrating in the last week, it's better to use mirror.ppa.trinitydesktop.org for download packages:

http://mirror.ppa.trinitydesktop.org/trinity/trinity-r14.0.0/debian/pool/mai...

Cheers