diff options
| author | laMudri <lamudri@gmail.com> | 2016-05-21 16:05:08 +0100 |
|---|---|---|
| committer | laMudri <lamudri@gmail.com> | 2016-05-21 17:27:31 +0100 |
| commit | 072ce88eb9b3774321bd70103027a5561f22b72b (patch) | |
| tree | 3fbbcc5338cf361b5bc6e9ffd159cc905a2937d5 /pkgs | |
| parent | 68e1419cb8eca6e306ec0a75f37621ae7aefabed (diff) | |
| download | nixpkgs-072ce88eb9b3774321bd70103027a5561f22b72b.tar nixpkgs-072ce88eb9b3774321bd70103027a5561f22b72b.tar.gz nixpkgs-072ce88eb9b3774321bd70103027a5561f22b72b.tar.bz2 nixpkgs-072ce88eb9b3774321bd70103027a5561f22b72b.tar.lz nixpkgs-072ce88eb9b3774321bd70103027a5561f22b72b.tar.xz nixpkgs-072ce88eb9b3774321bd70103027a5561f22b72b.tar.zst nixpkgs-072ce88eb9b3774321bd70103027a5561f22b72b.zip | |
agda-stdlib: 2.4.2.3 -> v0.12 (for Agda-2.5.1)
Diffstat (limited to 'pkgs')
| -rw-r--r-- | pkgs/development/libraries/agda/agda-stdlib/default.nix | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/pkgs/development/libraries/agda/agda-stdlib/default.nix b/pkgs/development/libraries/agda/agda-stdlib/default.nix index 2a75b1fb700..47e426580ce 100644 --- a/pkgs/development/libraries/agda/agda-stdlib/default.nix +++ b/pkgs/development/libraries/agda/agda-stdlib/default.nix @@ -1,13 +1,12 @@ -{ stdenv, agda, fetchgit, ghcWithPackages }: +{ stdenv, agda, fetchurl, ghcWithPackages }: agda.mkDerivation (self: rec { - version = "2.4.2.3"; + version = "v0.12"; name = "agda-stdlib-${version}"; - src = fetchgit { - url = "git://github.com/agda/agda-stdlib"; - rev = "9c9b3cb28f9a7d39a256890a1469c1a3f7fc4faf"; - sha256 = "521899b820e70abbae7cb30008b87a2f8676bc6265b78865e42982fc2e5c972f"; + src = fetchurl { + url = "https://github.com/agda/agda-stdlib/archive/${version}.tar.gz"; + sha256 = "11qf87hxx3g0n8i6nkp4vqvh3i0gal6g812p0w2n4k7711nvrp9g"; }; nativeBuildInputs = [ (ghcWithPackages (self : [ self.filemanip ])) ]; @@ -22,6 +21,6 @@ agda.mkDerivation (self: rec { description = "A standard library for use with the Agda compiler"; license = stdenv.lib.licenses.mit; platforms = stdenv.lib.platforms.unix; - maintainers = with maintainers; [ jwiegley fuuzetsu ]; + maintainers = with maintainers; [ jwiegley fuuzetsu mudri ]; }; }) |