diff options
author | Ingo Blechschmidt <iblech@web.de> | 2021-01-26 04:56:35 +0100 |
---|---|---|
committer | Ingo Blechschmidt <iblech@web.de> | 2021-01-27 14:06:34 +0100 |
commit | 5465e6e8ef58d38e07b98b5619342ccebe9d991d (patch) | |
tree | 469503f350d441c600dd2d5f84e612d3f54f0d00 /pkgs/development/libraries/agda | |
parent | 9c5389e47a6d7ab8a5110c12e84e57d22fd3af41 (diff) | |
download | nixpkgs-5465e6e8ef58d38e07b98b5619342ccebe9d991d.tar nixpkgs-5465e6e8ef58d38e07b98b5619342ccebe9d991d.tar.gz nixpkgs-5465e6e8ef58d38e07b98b5619342ccebe9d991d.tar.bz2 nixpkgs-5465e6e8ef58d38e07b98b5619342ccebe9d991d.tar.lz nixpkgs-5465e6e8ef58d38e07b98b5619342ccebe9d991d.tar.xz nixpkgs-5465e6e8ef58d38e07b98b5619342ccebe9d991d.tar.zst nixpkgs-5465e6e8ef58d38e07b98b5619342ccebe9d991d.zip |
agdaPackages.standard-library: 1.4 -> 1.5
Diffstat (limited to 'pkgs/development/libraries/agda')
-rw-r--r-- | pkgs/development/libraries/agda/standard-library/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/libraries/agda/standard-library/default.nix b/pkgs/development/libraries/agda/standard-library/default.nix index c0b0287d897..7018af4928c 100644 --- a/pkgs/development/libraries/agda/standard-library/default.nix +++ b/pkgs/development/libraries/agda/standard-library/default.nix @@ -2,13 +2,13 @@ mkDerivation rec { pname = "standard-library"; - version = "1.4"; + version = "1.5"; src = fetchFromGitHub { repo = "agda-stdlib"; owner = "agda"; rev = "v${version}"; - sha256 = "1asjbisb7pfkgzqy7gf9b23z63bba8l8p1wqfd6ff5ddgqwj3dhp"; + sha256 = "16fcb7ssj6kj687a042afaa2gq48rc8abihpm14k684ncihb2k4w"; }; nativeBuildInputs = [ (ghcWithPackages (self : [ self.filemanip ])) ]; |