diff options
author | Ryan Mulligan <ryan@ryantm.com> | 2018-03-19 21:03:33 -0700 |
---|---|---|
committer | Ryan Mulligan <ryan@ryantm.com> | 2018-03-19 21:03:33 -0700 |
commit | 7770e378a1fe98a7f57682ccd8f86298713c5650 (patch) | |
tree | 09809eaf5134ce4388047484ad4921820169a9a1 /pkgs/development/libraries/agda/agda-stdlib/default.nix | |
parent | 8b097fc7f66a657467e566ea1c1ff94f66c5b03a (diff) | |
download | nixlib-7770e378a1fe98a7f57682ccd8f86298713c5650.tar nixlib-7770e378a1fe98a7f57682ccd8f86298713c5650.tar.gz nixlib-7770e378a1fe98a7f57682ccd8f86298713c5650.tar.bz2 nixlib-7770e378a1fe98a7f57682ccd8f86298713c5650.tar.lz nixlib-7770e378a1fe98a7f57682ccd8f86298713c5650.tar.xz nixlib-7770e378a1fe98a7f57682ccd8f86298713c5650.tar.zst nixlib-7770e378a1fe98a7f57682ccd8f86298713c5650.zip |
AgdaStdlib: 0.14 -> 0.15
Semi-automatic update generated by https://github.com/ryantm/nix-update tools. These checks were done: - built on NixOS - Warning: no binary found that responded to help or version flags. (This warning appears even if the package isn't expected to have binaries.) - found 0.15 with grep in /nix/store/6787gs55hpa46z4507ji4jz5za51lyqy-agda-stdlib-0.15 - directory tree listing: https://gist.github.com/386f03ce4900379ef75d5d01bcc2cebb
Diffstat (limited to 'pkgs/development/libraries/agda/agda-stdlib/default.nix')
-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 ])) ]; |