On 23.09.2020 20:12, PLD th-src builder wrote: > crun.spec (HEAD): FAILED ... > --2020-09-23 22:12:23-- > http://distfiles.pld-linux.org/distfiles/by-md5/f/c/fcb34c867a0acf9fa7f8cba3cae43d4a/crun-0.15.tar.xz > Resolving distfiles.pld-linux.org... failed: No address associated with > hostname. > wget: unable to resolve host address 'distfiles.pld-linux.org'
Looks like there's something wrong with resolver in PLD infra. Any chance to get it fixed? _______________________________________________ pld-devel-en mailing list pld-devel-en@lists.pld-linux.org http://lists.pld-linux.org/mailman/listinfo/pld-devel-en
