diff options
author | James Wood <jammyatjammy@gmail.com> | 2018-08-06 17:39:11 +0100 |
---|---|---|
committer | xeji <36407913+xeji@users.noreply.github.com> | 2018-08-06 18:39:11 +0200 |
commit | 9934f0bb51afbee232f58fcdaac060c1dc48f0dd (patch) | |
tree | 4df2c88faf4a40b47239ce3d4ddcb583e36fe3c9 /pkgs/development/libraries/agda | |
parent | a2f499e21df9aa447e6a7af2be030a58447f877f (diff) | |
download | nixpkgs-9934f0bb51afbee232f58fcdaac060c1dc48f0dd.tar nixpkgs-9934f0bb51afbee232f58fcdaac060c1dc48f0dd.tar.gz nixpkgs-9934f0bb51afbee232f58fcdaac060c1dc48f0dd.tar.bz2 nixpkgs-9934f0bb51afbee232f58fcdaac060c1dc48f0dd.tar.lz nixpkgs-9934f0bb51afbee232f58fcdaac060c1dc48f0dd.tar.xz nixpkgs-9934f0bb51afbee232f58fcdaac060c1dc48f0dd.tar.zst nixpkgs-9934f0bb51afbee232f58fcdaac060c1dc48f0dd.zip |
AgdaStdlib: 0.15 -> 0.16 (#44550)
Diffstat (limited to 'pkgs/development/libraries/agda')
-rw-r--r-- | pkgs/development/libraries/agda/agda-stdlib/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/libraries/agda/agda-stdlib/default.nix b/pkgs/development/libraries/agda/agda-stdlib/default.nix index 331039ec329..bd4270e8b93 100644 --- a/pkgs/development/libraries/agda/agda-stdlib/default.nix +++ b/pkgs/development/libraries/agda/agda-stdlib/default.nix @@ -1,14 +1,14 @@ { stdenv, agda, fetchFromGitHub, ghcWithPackages }: agda.mkDerivation (self: rec { - version = "0.15"; + version = "0.16"; name = "agda-stdlib-${version}"; src = fetchFromGitHub { repo = "agda-stdlib"; owner = "agda"; rev = "v${version}"; - sha256 = "0c2vfib4fmljy98c3s3s7jmpjlqxvsbv7wf6qxr38kamwzbryrjj"; + sha256 = "0kqfx6742vbyyr8glqm5bkvj0z0y0dkaajlw10p3pzidrc17767r"; }; nativeBuildInputs = [ (ghcWithPackages (self : [ self.filemanip ])) ]; |