freedesktop.org domain expired

[Ryan Schmidt]

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.