diff options
| author | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2015-05-31 13:18:39 +0100 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2015-05-31 13:18:39 +0100 |
| commit | 7c09d9d2915317580e14733cde839f88b08a5718 (patch) | |
| tree | 5f993faaa8095d200a379e3cdbe4df17c86b21ec /pkgs/development/libraries/agda/agda-stdlib/default.nix | |
| parent | 64c948573838ec8b5929c54ae52853c4bf2b3546 (diff) | |
| download | nixlib-7c09d9d2915317580e14733cde839f88b08a5718.tar nixlib-7c09d9d2915317580e14733cde839f88b08a5718.tar.gz nixlib-7c09d9d2915317580e14733cde839f88b08a5718.tar.bz2 nixlib-7c09d9d2915317580e14733cde839f88b08a5718.tar.lz nixlib-7c09d9d2915317580e14733cde839f88b08a5718.tar.xz nixlib-7c09d9d2915317580e14733cde839f88b08a5718.tar.zst nixlib-7c09d9d2915317580e14733cde839f88b08a5718.zip | |
agda-stdlib: update to 2.4.2.3 branch
Required to work with the new Agda we have
Diffstat (limited to 'pkgs/development/libraries/agda/agda-stdlib/default.nix')
| -rw-r--r-- | pkgs/development/libraries/agda/agda-stdlib/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/libraries/agda/agda-stdlib/default.nix b/pkgs/development/libraries/agda/agda-stdlib/default.nix index 8f3d298306b3..2a75b1fb7000 100644 --- a/pkgs/development/libraries/agda/agda-stdlib/default.nix +++ b/pkgs/development/libraries/agda/agda-stdlib/default.nix @@ -6,8 +6,8 @@ agda.mkDerivation (self: rec { src = fetchgit { url = "git://github.com/agda/agda-stdlib"; - rev = "451446c5d849b8c5d6d34363e3551169eb126cfb"; - sha256 = "40a55d3c22fb3462b110859f4cd63e79e086b25f23964b465768397b93c57701"; + rev = "9c9b3cb28f9a7d39a256890a1469c1a3f7fc4faf"; + sha256 = "521899b820e70abbae7cb30008b87a2f8676bc6265b78865e42982fc2e5c972f"; }; nativeBuildInputs = [ (ghcWithPackages (self : [ self.filemanip ])) ]; |