diff options
| author | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-11-17 16:46:58 +0000 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-11-17 16:48:10 +0000 |
| commit | 9e79811eb6fe04e424e03b7b9e319a3d020cc579 (patch) | |
| tree | 4d481b8644634e2565f979b19e14160d0b6a8bf4 | |
| parent | 43b6d42fbd41e1c4fa563da1033d57ac938eb927 (diff) | |
| download | nixpkgs-9e79811eb6fe04e424e03b7b9e319a3d020cc579.tar nixpkgs-9e79811eb6fe04e424e03b7b9e319a3d020cc579.tar.gz nixpkgs-9e79811eb6fe04e424e03b7b9e319a3d020cc579.tar.bz2 nixpkgs-9e79811eb6fe04e424e03b7b9e319a3d020cc579.tar.lz nixpkgs-9e79811eb6fe04e424e03b7b9e319a3d020cc579.tar.xz nixpkgs-9e79811eb6fe04e424e03b7b9e319a3d020cc579.tar.zst nixpkgs-9e79811eb6fe04e424e03b7b9e319a3d020cc579.zip | |
AgdaStdlib: update to 0.9
This should have really been updated with Agda itself.
| -rw-r--r-- | pkgs/development/compilers/agda/stdlib.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/development/compilers/agda/stdlib.nix b/pkgs/development/compilers/agda/stdlib.nix index a583ff33cb6..597d0228b45 100644 --- a/pkgs/development/compilers/agda/stdlib.nix +++ b/pkgs/development/compilers/agda/stdlib.nix @@ -1,12 +1,12 @@ { stdenv, agda, fetchurl, ghc, filemanip }: agda.mkDerivation (self: rec { - name = "Agda-stdlib"; - version = "0.8.1"; + version = "0.9"; + name = "Agda-stdlib-${version}"; src = fetchurl { url = "https://github.com/agda/agda-stdlib/archive/v${version}.tar.gz"; - sha256 = "0ij4rg4lk0pq01ing285gbmnn23dcf2rhihdcs8bbdpjg52vl4gf"; + sha256 = "05rpmd2xra8wygq33mahdmijcjwq132l1akqyzj66n13frw4hfwj"; }; buildInputs = [ filemanip ghc ]; |