diff options
Diffstat (limited to 'pkgs/development/libraries/agda/agda-stdlib/default.nix')
-rw-r--r-- | pkgs/development/libraries/agda/agda-stdlib/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/libraries/agda/agda-stdlib/default.nix b/pkgs/development/libraries/agda/agda-stdlib/default.nix index 2a75b1fb70000..b25f14dbc9f93 100644 --- a/pkgs/development/libraries/agda/agda-stdlib/default.nix +++ b/pkgs/development/libraries/agda/agda-stdlib/default.nix @@ -7,7 +7,7 @@ agda.mkDerivation (self: rec { src = fetchgit { url = "git://github.com/agda/agda-stdlib"; rev = "9c9b3cb28f9a7d39a256890a1469c1a3f7fc4faf"; - sha256 = "521899b820e70abbae7cb30008b87a2f8676bc6265b78865e42982fc2e5c972f"; + sha256 = "1h64wzm4ysmq3gi33w3kp9h3f471sydpp453yf95bh5f713a8bxk"; }; nativeBuildInputs = [ (ghcWithPackages (self : [ self.filemanip ])) ]; |