diff options
author | Joachim F <joachifm@users.noreply.github.com> | 2018-03-22 18:35:42 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-03-22 18:35:42 +0000 |
commit | c90c6bb2de6d05c2f7ca26e0f985d022df47f7d9 (patch) | |
tree | 192f0f51f575b13533543fc410ba718ad282e074 /pkgs/development | |
parent | 8bef1a5cb87ef7a7aabae7b30fc3efd704a6b30a (diff) | |
parent | 7770e378a1fe98a7f57682ccd8f86298713c5650 (diff) | |
download | nixlib-c90c6bb2de6d05c2f7ca26e0f985d022df47f7d9.tar nixlib-c90c6bb2de6d05c2f7ca26e0f985d022df47f7d9.tar.gz nixlib-c90c6bb2de6d05c2f7ca26e0f985d022df47f7d9.tar.bz2 nixlib-c90c6bb2de6d05c2f7ca26e0f985d022df47f7d9.tar.lz nixlib-c90c6bb2de6d05c2f7ca26e0f985d022df47f7d9.tar.xz nixlib-c90c6bb2de6d05c2f7ca26e0f985d022df47f7d9.tar.zst nixlib-c90c6bb2de6d05c2f7ca26e0f985d022df47f7d9.zip |
Merge pull request #37405 from ryantm/auto-update/agda-stdlib
AgdaStdlib: 0.14 -> 0.15
Diffstat (limited to 'pkgs/development')
-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 815e0f20b54e..c72572139c68 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.14"; + version = "0.15"; name = "agda-stdlib-${version}"; src = fetchFromGitHub { repo = "agda-stdlib"; owner = "agda"; rev = "v${version}"; - sha256 = "0qx72w6lwskp18q608f95j5dcxb9xr4q4mzdkxp01sgib8v2v56l"; + sha256 = "0c2vfib4fmljy98c3s3s7jmpjlqxvsbv7wf6qxr38kamwzbryrjj"; }; nativeBuildInputs = [ (ghcWithPackages (self : [ self.filemanip ])) ]; |