diff options
| author | Orivej Desh <orivej@gmx.fr> | 2017-10-02 12:57:58 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-02 12:57:58 +0000 |
| commit | f72e323388ae8e654fd87ce4e1e2a15861efe1a8 (patch) | |
| tree | 80af571ec6d418ec2b3a5774cbcb7ae7d03e3b86 /pkgs | |
| parent | 5af263c2af4db18e2cc40d0940fad1ddd149fbc5 (diff) | |
| parent | 2ba02c57e82651a8cfa9fcbe850b672787ca5b41 (diff) | |
| download | nixlib-f72e323388ae8e654fd87ce4e1e2a15861efe1a8.tar nixlib-f72e323388ae8e654fd87ce4e1e2a15861efe1a8.tar.gz nixlib-f72e323388ae8e654fd87ce4e1e2a15861efe1a8.tar.bz2 nixlib-f72e323388ae8e654fd87ce4e1e2a15861efe1a8.tar.lz nixlib-f72e323388ae8e654fd87ce4e1e2a15861efe1a8.tar.xz nixlib-f72e323388ae8e654fd87ce4e1e2a15861efe1a8.tar.zst nixlib-f72e323388ae8e654fd87ce4e1e2a15861efe1a8.zip | |
Merge pull request #29818 from unaizalakain/update-agda-stdlib
AgdaStdlib: 0.13 -> 0.14
Diffstat (limited to 'pkgs')
| -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 866bccd3fd61..815e0f20b54e 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.13"; + version = "0.14"; name = "agda-stdlib-${version}"; src = fetchFromGitHub { repo = "agda-stdlib"; owner = "agda"; rev = "v${version}"; - sha256 = "156xbqvqjck9izz613v52ppwk8s1y0kv7xkjpcm16vys2c3bh0x5"; + sha256 = "0qx72w6lwskp18q608f95j5dcxb9xr4q4mzdkxp01sgib8v2v56l"; }; nativeBuildInputs = [ (ghcWithPackages (self : [ self.filemanip ])) ]; |