diff options
author | R. RyanTM <ryantm-bot@ryantm.com> | 2018-12-16 11:14:28 -0800 |
---|---|---|
committer | R. RyanTM <ryantm-bot@ryantm.com> | 2018-12-16 11:14:28 -0800 |
commit | 0134db94d9e5623125d6e049c9c3da3c63e154e8 (patch) | |
tree | e6b104aca31929fbf5f9cd9326b9dbbc8089cd1f | |
parent | e0950ae9ad7e101c16ce8bbc28d566c75bb298fb (diff) | |
download | nixpkgs-0134db94d9e5623125d6e049c9c3da3c63e154e8.tar nixpkgs-0134db94d9e5623125d6e049c9c3da3c63e154e8.tar.gz nixpkgs-0134db94d9e5623125d6e049c9c3da3c63e154e8.tar.bz2 nixpkgs-0134db94d9e5623125d6e049c9c3da3c63e154e8.tar.lz nixpkgs-0134db94d9e5623125d6e049c9c3da3c63e154e8.tar.xz nixpkgs-0134db94d9e5623125d6e049c9c3da3c63e154e8.tar.zst nixpkgs-0134db94d9e5623125d6e049c9c3da3c63e154e8.zip |
AgdaStdlib: 0.16.1 -> 0.17
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/agda-stdlib/versions
-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 12d35e27020..276e1531acd 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.16.1"; + version = "0.17"; name = "agda-stdlib-${version}"; src = fetchFromGitHub { repo = "agda-stdlib"; owner = "agda"; rev = "v${version}"; - sha256 = "17dv5r3ygmbwwh7k8qaffp2965sv165b47i53ymc0gbfcwr6cy2n"; + sha256 = "05c5zgj9fcaqz7z2l70jh48b3g4811vm7bccj0vd9r82wi02g3p1"; }; nativeBuildInputs = [ (ghcWithPackages (self : [ self.filemanip ])) ]; |