alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity

agda-stdlib: update to 2.4.2.3 branch

Browse source 
Required to work with the new Agda we have
This commit is contained in:
Mateusz Kowalczyk 2015-05-31 13:18:39 +01:00
parent 64c9485738
commit 7c09d9d291
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
pkgs/development/libraries/agda/agda-stdlib/default.nix
View file

@ -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 ])) ];