diff options
| author | Matthew Bauer <mjbauer95@gmail.com> | 2018-10-05 22:36:00 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-05 22:36:00 -0500 |
| commit | 0a5b52e5798c0d0ca00da50bc2548795666e2b67 (patch) | |
| tree | 253f4d357f1f32912cf0f4be4c7be323497e53ef | |
| parent | 70faf056b2e46eb95edc27b0e9f7f1783c38e955 (diff) | |
| parent | 7c5bc4fb92648f9acc0b4f3dd80f9d95f08abd6a (diff) | |
| download | nixpkgs-0a5b52e5798c0d0ca00da50bc2548795666e2b67.tar nixpkgs-0a5b52e5798c0d0ca00da50bc2548795666e2b67.tar.gz nixpkgs-0a5b52e5798c0d0ca00da50bc2548795666e2b67.tar.bz2 nixpkgs-0a5b52e5798c0d0ca00da50bc2548795666e2b67.tar.lz nixpkgs-0a5b52e5798c0d0ca00da50bc2548795666e2b67.tar.xz nixpkgs-0a5b52e5798c0d0ca00da50bc2548795666e2b67.tar.zst nixpkgs-0a5b52e5798c0d0ca00da50bc2548795666e2b67.zip | |
Merge pull request #47339 from r-ryantm/auto-update/agda-stdlib
AgdaStdlib: 0.16 -> 0.16.1
| -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 bd4270e8b93..12d35e27020 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"; + version = "0.16.1"; name = "agda-stdlib-${version}"; src = fetchFromGitHub { repo = "agda-stdlib"; owner = "agda"; rev = "v${version}"; - sha256 = "0kqfx6742vbyyr8glqm5bkvj0z0y0dkaajlw10p3pzidrc17767r"; + sha256 = "17dv5r3ygmbwwh7k8qaffp2965sv165b47i53ymc0gbfcwr6cy2n"; }; nativeBuildInputs = [ (ghcWithPackages (self : [ self.filemanip ])) ]; |