27 Nov
2018
27 Nov
'18
12:30 a.m.
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/ma…
Cheers
--
Slávek