nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-14 08:04:47 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #336351 from iblech/patch-agda-stdlib-2.1.1rc2

Browse Source 
Unbreak Agda's standard library by bumping to 2.1.1-rc2
This commit is contained in:
Naïm Favier 2024-08-21 21:53:53 +02:00 committed by GitHub
commit 540ee946df
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -24,5 +24,6 @@ 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
};
}

4
pkgs/development/libraries/agda/standard-library/default.nix
View File

@ -2,13 +2,13 @@
mkDerivation rec {
pname = "standard-library";
version = "2.1";
version = "2.1.1-rc2";
src = fetchFromGitHub {
repo = "agda-stdlib";
owner = "agda";
rev = "v${version}";
hash = "sha256-tv/Fj8ZJgSvieNLlXBjyIR7MSmDp0e2QbN1d/0xBpFg=";
hash = "sha256-F/LwPRzorkIoGsObB9m/hNpRBIJFy/GuaEotq0CQMH4=";
};
nativeBuildInputs = [ (ghcWithPackages (self : [ self.filemanip ])) ];