Merge pull request #32033 from knedlsepp/upgrade-grib-api

grib-api: 1.19.0 -> 1.24.0
This commit is contained in:
Joachim F 2017-11-25 21:55:35 +00:00 committed by GitHub
commit 592488c657
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -4,11 +4,11 @@
stdenv.mkDerivation rec{ stdenv.mkDerivation rec{
name = "grib-api-${version}"; name = "grib-api-${version}";
version = "1.19.0"; version = "1.24.0";
src = fetchurl { src = fetchurl {
url = "https://software.ecmwf.int/wiki/download/attachments/3473437/grib_api-${version}-Source.tar.gz"; url = "https://software.ecmwf.int/wiki/download/attachments/3473437/grib_api-${version}-Source.tar.gz";
sha256 = "07cj9mw5bb249lxx1m9nmfdqb8b2a8cm7s6x62cdwca3sp16dv6a"; sha256 = "1kbvyzaghbn1bqn97sslskmb6k3ki1dnr0g5abk5sb40n0y483bb";
}; };
preConfigure = '' preConfigure = ''