libav.org is not resolving

[John Neffenger]

The domain 'libav.org' is not resolving for at least a week now, causing 
the build to fail when '-PBUILD_LIBAV_STUBS=true' (see below). The 
domain itself is good until 2024:

   Creation Date: 2011-01-19T23:35:14Z
   Registry Expiry Date: 2024-01-19T23:35:14Z

If the problem persists, we could use GitHub as an alternative (assuming 
those are source archives):

https://github.com/libav/libav/archive/v9.14.tar.gz
==> content-disposition: attachment; filename=libav-9.14.tar.gz

https://github.com/libav/libav/archive/v11.4.tar.gz
==> content-disposition: attachment; filename=libav-11.4.tar.gz

https://github.com/libav/libav/archive/v12.1.tar.gz
==> content-disposition: attachment; filename=libav-12.1.tar.gz

I'll keep trying, and I'll test whether the GitHub alternative works.

John

=====================================
 > Task :media:buildFFmpegStubs FAILED

FAILURE: Build failed with an exception.

* Where:
Build file '/home/ubuntu/src/jfx/build.gradle' line: 3264

* What went wrong:
Execution failed for task ':media:buildFFmpegStubs'.
 > Could not resolve all files for configuration ':media:media'.

 > Could not resolve :libav-9.14.
Required by:
project :media
 > Could not resolve :libav-9.14.
 > Could not get resource 'https://libav.org/releases/libav-9.14.tar.gz'.
 > Could not HEAD 'https://libav.org/releases/libav-9.14.tar.gz'.
 > libav.org

 > Could not resolve :libav-11.4.
Required by:
project :media
 > Could not resolve :libav-11.4.
 > Could not get resource 'https://libav.org/releases/libav-11.4.tar.gz'.
 > Could not HEAD 'https://libav.org/releases/libav-11.4.tar.gz'.
 > libav.org

 > Could not resolve :libav-12.1.
Required by:
project :media
 > Could not resolve :libav-12.1.
 > Could not get resource 'https://libav.org/releases/libav-12.1.tar.gz'.
 > Could not HEAD 'https://libav.org/releases/libav-12.1.tar.gz'.
 > libav.org

...

BUILD FAILED in 1m 15s
43 actionable tasks: 43 executed