dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

agdaPackages.agda-prelude: unstable-2023-10-04 -> unstable-2024-08-22

Browse Source
This commit is contained in:
Naïm Favier 2024-08-22 10:55:32 +02:00
parent 129c77de90
commit 606a1663e5
No known key found for this signature in database
GPG Key ID: 95AFCE8211908325
1 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
pkgs/development/libraries/agda/agda-prelude/default.nix
View File

@ -1,14 +1,14 @@
{ lib, mkDerivation, fetchFromGitHub }:
mkDerivation rec {
version = "unstable-2023-10-04";
version = "unstable-2024-08-22";
pname = "agda-prelude";
src = fetchFromGitHub {
owner = "UlfNorell";
repo = "agda-prelude";
rev = "ff3b13253612caf0784a06e2d7d0f30be16c32e4";
hash = "sha256-A05uDv3fJqKncea9AL6eQa0XAskLZwAIUl1OAOVeP8I=";
rev = "4230566d3ae229b6a00258587651ac7bfd38d088";
hash = "sha256-ab+KojzRbkUTAFNH5OA78s0F5SUuXTbliai6badveg4=";
};
preConfigure = ''
@ -24,6 +24,5 @@ mkDerivation rec {
license = lib.licenses.mit;
platforms = lib.platforms.unix;
maintainers = with maintainers; [ mudri alexarice turion ];
broken = true; # currently not compatible with Agda 2.7.0
};
}