diff options
| author | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2019-04-20 17:37:30 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-04-20 17:37:30 +0900 |
| commit | 7250104c7b1567dc5b9a78daa8f0018fa383f939 (patch) | |
| tree | 87343fbca6a9f47dbabca26607a09cecb055201c /pkgs | |
| parent | 9241145dfe396c6ded8887e4c9965e008ea64170 (diff) | |
| parent | 7ad178d8d931452c1e364f719a9785d807e02ad9 (diff) | |
| download | nixpkgs-7250104c7b1567dc5b9a78daa8f0018fa383f939.tar nixpkgs-7250104c7b1567dc5b9a78daa8f0018fa383f939.tar.gz nixpkgs-7250104c7b1567dc5b9a78daa8f0018fa383f939.tar.bz2 nixpkgs-7250104c7b1567dc5b9a78daa8f0018fa383f939.tar.lz nixpkgs-7250104c7b1567dc5b9a78daa8f0018fa383f939.tar.xz nixpkgs-7250104c7b1567dc5b9a78daa8f0018fa383f939.tar.zst nixpkgs-7250104c7b1567dc5b9a78daa8f0018fa383f939.zip | |
Merge pull request #59819 from yrashk/agda-stdlib-1.0
AgdaStdlib: 0.17 -> 1.0
Diffstat (limited to 'pkgs')
| -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 276e1531acd..d9350d135eb 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.17"; + version = "1.0"; name = "agda-stdlib-${version}"; src = fetchFromGitHub { repo = "agda-stdlib"; owner = "agda"; rev = "v${version}"; - sha256 = "05c5zgj9fcaqz7z2l70jh48b3g4811vm7bccj0vd9r82wi02g3p1"; + sha256 = "19qrdfi0vig3msqg76k1zf5j3vav0jz44cvj6i4dyfbscdwf2l9c"; }; nativeBuildInputs = [ (ghcWithPackages (self : [ self.filemanip ])) ]; |