diff options
author | Alex Rice <alexrice999@hotmail.co.uk> | 2020-08-10 15:07:49 +0100 |
---|---|---|
committer | Alex Rice <alexrice999@hotmail.co.uk> | 2020-08-10 15:07:49 +0100 |
commit | 8735356e279274a6e0de9c9aad7c97811cf4efb3 (patch) | |
tree | 8ce0c67ef1cac3d70771f0d2271044811cf9d17d /pkgs/development/libraries/agda | |
parent | fcb82c9181fb3922369b2bd4a2bbf6da83627b86 (diff) |
agda-prelude: compat-2.6.0 -> compat-2.6.1
Diffstat (limited to 'pkgs/development/libraries/agda')
-rw-r--r-- | pkgs/development/libraries/agda/agda-prelude/default.nix | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/pkgs/development/libraries/agda/agda-prelude/default.nix b/pkgs/development/libraries/agda/agda-prelude/default.nix index 2bec10c02dd1c..f13cc69823654 100644 --- a/pkgs/development/libraries/agda/agda-prelude/default.nix +++ b/pkgs/development/libraries/agda/agda-prelude/default.nix @@ -1,14 +1,14 @@ { stdenv, mkDerivation, fetchFromGitHub }: mkDerivation rec { - version = "compat-2.6.0"; + version = "compat-2.6.1"; pname = "agda-prelude"; src = fetchFromGitHub { owner = "UlfNorell"; repo = "agda-prelude"; rev = version; - sha256 = "0brg61qrf8izqav80qpx77dbdxvlnsxyy0v7hmlrmhg68b5lp38y"; + sha256 = "128rbhd32qlq2nq3wgqni4ih58zzwvs9pkn9j8236ycxxp6x81sl"; }; preConfigure = '' @@ -18,15 +18,11 @@ mkDerivation rec { cd .. ''; - everythingFile = "./Everything.agda"; - meta = with stdenv.lib; { homepage = "https://github.com/UlfNorell/agda-prelude"; description = "Programming library for Agda"; license = stdenv.lib.licenses.mit; platforms = stdenv.lib.platforms.unix; - # broken since Agda 2.6.1 - broken = true; maintainers = with maintainers; [ mudri alexarice turion ]; }; } |