diff options
Diffstat (limited to 'pkgs/development/libraries/agda/standard-library/default.nix')
| -rw-r--r-- | pkgs/development/libraries/agda/standard-library/default.nix | 15 |
1 files changed, 3 insertions, 12 deletions
diff --git a/pkgs/development/libraries/agda/standard-library/default.nix b/pkgs/development/libraries/agda/standard-library/default.nix index f05158d56a1c..976d84157836 100644 --- a/pkgs/development/libraries/agda/standard-library/default.nix +++ b/pkgs/development/libraries/agda/standard-library/default.nix @@ -2,29 +2,20 @@ lib, mkDerivation, fetchFromGitHub, - ghcWithPackages, nixosTests, }: mkDerivation rec { pname = "standard-library"; - version = "2.2"; + version = "2.2-unstable-2025-07-03"; src = fetchFromGitHub { repo = "agda-stdlib"; owner = "agda"; - rev = "v${version}"; - hash = "sha256-/Fy5EOSbVNXt6Jq0yKSnlNPW4SYfn+eCTAYFnMZrbR0="; + rev = "6f8af9452e7fac27bc3b3ad068793b538f07668e"; + hash = "sha256-LD6KasmQ9ZHRNQJ0N4wjyc6JiSkZpmyqQq9B0Wta1n0="; }; - nativeBuildInputs = [ (ghcWithPackages (self: [ self.filemanip ])) ]; - preConfigure = '' - runhaskell GenerateEverything.hs --include-deprecated - # We will only build/consider Everything.agda, in particular we don't want Everything*.agda - # do be copied to the store. - rm EverythingSafe.agda - ''; - passthru.tests = { inherit (nixosTests) agda; }; meta = with lib; { homepage = "https://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary"; |