Merge pull request #77148 from dtzWill/update/libedit-20191231

libedit: 20191025 -> 20191231
This commit is contained in:
Will Dietz 2020-01-07 16:19:53 -06:00 committed by GitHub
commit effc532e75
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions

View File

@ -2,11 +2,11 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "libedit"; pname = "libedit";
version = "20191025-3.1"; version = "20191231-3.1";
src = fetchurl { src = fetchurl {
url = "https://thrysoee.dk/editline/${pname}-${version}.tar.gz"; url = "https://thrysoee.dk/editline/${pname}-${version}.tar.gz";
sha256 = "0fdznw6fklis39xqk30ihw8dl8kdw9fzq1z42jmbyy6lc1k07zvd"; sha256 = "0wch48nml28jj6ild889745dsg2agm7mpvrmbl1gi98nw6vjrf6v";
}; };
outputs = [ "out" "dev" ]; outputs = [ "out" "dev" ];