The freedesktop.org domain name has expired and is in a pending deletion state 
with its registrar. This affects a couple hundred of our ports. They are aware 
of it and are working to get it renewed.

https://www.reddit.com/r/linuxquestions/comments/dqxuj3/freedesktoporg_down/

Meanwhile, if you need to use freedesktop.org domains, you can temporarily set 
your DNS to 131.252.210.177 or temporarily add the following lines to your 
/etc/hosts:

35.185.111.185 gitlab.freedesktop.org libopenraw.freedesktop.org 
poppler.freedesktop.org
131.252.210.161 anongit.freedesktop.org cgit.freedesktop.org
131.252.210.165 bugs.freedesktop.org bugzilla.freedesktop.org
131.252.210.176 freedesktop.org dbus.freedesktop.org ftp.freedesktop.org 
gstreamer.freedesktop.org gypsy.freedesktop.org icon-theme.freedesktop.org 
liboil.freedesktop.org libspectre.freedesktop.org mesa.freedesktop.org 
nice.freedesktop.org people.freedesktop.org pkg-config.freedesktop.org 
portland.freedesktop.org rarian.freedesktop.org swfdec.freedesktop.org 
tango.freedesktop.org telepathy.freedesktop.org upower.freedesktop.org 
www.freedesktop.org xcb.freedesktop.org xorg.freedesktop.org

That should cover all of the ports we currently have. Don't forget to revert 
these changes once the freedesktop.org domain gets renewed.

Reply via email to