diff options
| author | laMudri <lamudri@gmail.com> | 2016-12-24 20:15:31 +0000 |
|---|---|---|
| committer | laMudri <lamudri@gmail.com> | 2016-12-24 21:53:28 +0000 |
| commit | 5683311b7c0ae5c20f7cdb3ae219b7bff7491d3f (patch) | |
| tree | f53d20631f48c8bc0435db324a829e0fb9a8e03a /pkgs/development/libraries/agda/agda-stdlib | |
| parent | bc4a6719809f8965c71e2375e5760ef3bc04a0d3 (diff) | |
| download | nixpkgs-5683311b7c0ae5c20f7cdb3ae219b7bff7491d3f.tar nixpkgs-5683311b7c0ae5c20f7cdb3ae219b7bff7491d3f.tar.gz nixpkgs-5683311b7c0ae5c20f7cdb3ae219b7bff7491d3f.tar.bz2 nixpkgs-5683311b7c0ae5c20f7cdb3ae219b7bff7491d3f.tar.lz nixpkgs-5683311b7c0ae5c20f7cdb3ae219b7bff7491d3f.tar.xz nixpkgs-5683311b7c0ae5c20f7cdb3ae219b7bff7491d3f.tar.zst nixpkgs-5683311b7c0ae5c20f7cdb3ae219b7bff7491d3f.zip | |
AgdaStdlib: v0.12 -> v0.13
Diffstat (limited to 'pkgs/development/libraries/agda/agda-stdlib')
| -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 24ba50387a4..eb2fa2927ca 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.12"; + version = "0.13"; name = "agda-stdlib-${version}"; src = fetchFromGitHub { repo = "agda-stdlib"; owner = "agda"; rev = "v${version}"; - sha256 = "1n5hn3xa0bqyq8rjvfsfmh6z3l8rr4z3s7gyfmf3kiv9f235bnd2"; + sha256 = "156xbqvqjck9izz613v52ppwk8s1y0kv7xkjpcm16vys2c3bh0x5"; }; nativeBuildInputs = [ (ghcWithPackages (self : [ self.filemanip ])) ]; |