cernlib: add src mirror url

This commit is contained in:
Dmitry Kalinkin 2020-01-23 15:03:34 -05:00
parent 6df94f6688
commit f4131d260d
No known key found for this signature in database
GPG Key ID: 5157B3EC8B2CA333

View File

@ -5,7 +5,10 @@ stdenv.mkDerivation rec {
pname = "cernlib";
src = fetchurl {
url = "https://cernlib.web.cern.ch/cernlib/download/${version}_source/tar/${version}_src.tar.gz";
urls = [
"https://ftp.riken.jp/cernlib/download/${version}_source/tar/${version}_src.tar.gz"
"https://cernlib.web.cern.ch/cernlib/download/${version}_source/tar/${version}_src.tar.gz"
];
sha256 = "0awla1rl96z82br7slcmg8ks1d2a7slk6dj79ywb871j2ksi3fky";
};