diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2009-09-30 12:45:15 +0000 |
---|---|---|
committer | Michael Raskin <7c6f434c@mail.ru> | 2009-09-30 12:45:15 +0000 |
commit | b62af15130e080ffed56454ee6e257a31ceb2a2c (patch) | |
tree | 1f6355089b9ee21a858a72ff80e49bf51f9847f5 /pkgs/development/libraries | |
parent | 77da703f411034e99b5ca2544a6834b0ece628e5 (diff) | |
download | nixpkgs-b62af15130e080ffed56454ee6e257a31ceb2a2c.tar nixpkgs-b62af15130e080ffed56454ee6e257a31ceb2a2c.tar.gz nixpkgs-b62af15130e080ffed56454ee6e257a31ceb2a2c.tar.bz2 nixpkgs-b62af15130e080ffed56454ee6e257a31ceb2a2c.tar.lz nixpkgs-b62af15130e080ffed56454ee6e257a31ceb2a2c.tar.xz nixpkgs-b62af15130e080ffed56454ee6e257a31ceb2a2c.tar.zst nixpkgs-b62af15130e080ffed56454ee6e257a31ceb2a2c.zip |
As we see, we need some fallback for FreeDesktop
svn path=/nixpkgs/trunk/; revision=17545
Diffstat (limited to 'pkgs/development/libraries')
5 files changed, 20 insertions, 5 deletions
diff --git a/pkgs/development/libraries/gstreamer/gnonlin/default.nix b/pkgs/development/libraries/gstreamer/gnonlin/default.nix index b295d2d3198..1b45bdfb2d4 100644 --- a/pkgs/development/libraries/gstreamer/gnonlin/default.nix +++ b/pkgs/development/libraries/gstreamer/gnonlin/default.nix @@ -4,7 +4,10 @@ stdenv.mkDerivation rec { name = "gnonlin-0.10.10"; src = fetchurl { - url = "http://gstreamer.freedesktop.org/src/gnonlin/${name}.tar.gz"; + urls = [ + "http://gstreamer.freedesktop.org/src/gnonlin/${name}.tar.gz" + "mirror://gentoo/distfiles/${name}.tar.gz" + ]; sha256 = "041in2y0x3755hw29rhnyhsh216v2fl1q1p12m9faxiv2r52x83y"; }; diff --git a/pkgs/development/libraries/gstreamer/gst-ffmpeg/default.nix b/pkgs/development/libraries/gstreamer/gst-ffmpeg/default.nix index 2ea82bc7bdc..0b90ef27abf 100644 --- a/pkgs/development/libraries/gstreamer/gst-ffmpeg/default.nix +++ b/pkgs/development/libraries/gstreamer/gst-ffmpeg/default.nix @@ -4,7 +4,10 @@ stdenv.mkDerivation rec { name = "gst-ffmpeg-0.10.5"; src = fetchurl { - url = "http://gstreamer.freedesktop.org/src/gst-ffmpeg/${name}.tar.bz2"; + urls = [ + "http://gstreamer.freedesktop.org/src/gst-ffmpeg/${name}.tar.bz2" + "mirror://gentoo/distfiles/${name}.tar.bz2" + ]; sha256 = "12y240jp2lda57frz7pj96izqxcns0k31cc5rp4kdfwwfdsvy5ik"; }; diff --git a/pkgs/development/libraries/gstreamer/gst-plugins-base/default.nix b/pkgs/development/libraries/gstreamer/gst-plugins-base/default.nix index 43fd458eed9..d41039cfd9f 100644 --- a/pkgs/development/libraries/gstreamer/gst-plugins-base/default.nix +++ b/pkgs/development/libraries/gstreamer/gst-plugins-base/default.nix @@ -7,7 +7,10 @@ stdenv.mkDerivation rec { name = "gst-plugins-base-0.10.22"; src = fetchurl { - url = "${meta.homepage}/src/gst-plugins-base/${name}.tar.bz2"; + urls = [ + "${meta.homepage}/src/gst-plugins-base/${name}.tar.bz2" + "mirror://gentoo/distfiles/${name}.tar.bz2" + ]; sha256 = "1yfmkji12gn8cl2nmgs8bbdadnc5hrywn0zwfsi3izpb0gnmlk0q"; }; diff --git a/pkgs/development/libraries/gstreamer/gst-plugins-good/default.nix b/pkgs/development/libraries/gstreamer/gst-plugins-good/default.nix index 8cb0f101728..e20620aecf1 100644 --- a/pkgs/development/libraries/gstreamer/gst-plugins-good/default.nix +++ b/pkgs/development/libraries/gstreamer/gst-plugins-good/default.nix @@ -8,7 +8,10 @@ stdenv.mkDerivation rec { name = "gst-plugins-good-0.10.14"; src = fetchurl { - url = "${meta.homepage}/src/gst-plugins-good/${name}.tar.bz2"; + urls = [ + "${meta.homepage}/src/gst-plugins-good/${name}.tar.bz2" + "mirror://gentoo/distfiles/${name}.tar.bz2" + ]; sha256 = "12kq60zdqxkshpjr76iwzykzhjaq3g1rm81nz7b0x44rrc0ms80j"; }; diff --git a/pkgs/development/libraries/gstreamer/gstreamer/default.nix b/pkgs/development/libraries/gstreamer/gstreamer/default.nix index 213c3d9f922..96fdaf81a96 100644 --- a/pkgs/development/libraries/gstreamer/gstreamer/default.nix +++ b/pkgs/development/libraries/gstreamer/gstreamer/default.nix @@ -5,7 +5,10 @@ stdenv.mkDerivation rec { name = "gstreamer-0.10.22"; src = fetchurl { - url = "${meta.homepage}/src/gstreamer/${name}.tar.bz2"; + urls = [ + "${meta.homepage}/src/gstreamer/${name}.tar.bz2" + "mirror://gentoo/distfiles/${name}.tar.bz2" + ]; sha256 = "17iqgsnh1v43ai9m9iyqv6dds7iwqw2445b0qxnjwdmij80rwj31"; }; |