diff options
| author | Joachim Fasting <joachifm@fastmail.fm> | 2016-05-23 09:07:02 +0200 |
|---|---|---|
| committer | Joachim Fasting <joachifm@fastmail.fm> | 2016-05-23 09:07:02 +0200 |
| commit | 6a2244e8f453ab6c66dff9411735c81cbad879fa (patch) | |
| tree | ee4f4eaa34ba106d8ffb1c8f802558cfbb4a7904 /pkgs/development/libraries/agda/agda-stdlib/default.nix | |
| parent | 89d50c4341a72bc2a0c3c5bfd0ffded30de141ff (diff) | |
| download | nixlib-6a2244e8f453ab6c66dff9411735c81cbad879fa.tar nixlib-6a2244e8f453ab6c66dff9411735c81cbad879fa.tar.gz nixlib-6a2244e8f453ab6c66dff9411735c81cbad879fa.tar.bz2 nixlib-6a2244e8f453ab6c66dff9411735c81cbad879fa.tar.lz nixlib-6a2244e8f453ab6c66dff9411735c81cbad879fa.tar.xz nixlib-6a2244e8f453ab6c66dff9411735c81cbad879fa.tar.zst nixlib-6a2244e8f453ab6c66dff9411735c81cbad879fa.zip | |
Revert "Merge pull request #15595 from laMudri/agda-stdlib"
This reverts commit ce4f6c215f2f34435638113421dd291a57d16715, reversing changes made to 7817d0901d44ba97e5862e94840098e2b97d8631. See https://github.com/NixOS/nixpkgs/pull/15595/commits/68e1419cb8eca6e306ec0a75f37621ae7aefabed#r64175487
Diffstat (limited to 'pkgs/development/libraries/agda/agda-stdlib/default.nix')
| -rw-r--r-- | pkgs/development/libraries/agda/agda-stdlib/default.nix | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/pkgs/development/libraries/agda/agda-stdlib/default.nix b/pkgs/development/libraries/agda/agda-stdlib/default.nix index 47e426580ce3..2a75b1fb7000 100644 --- a/pkgs/development/libraries/agda/agda-stdlib/default.nix +++ b/pkgs/development/libraries/agda/agda-stdlib/default.nix @@ -1,12 +1,13 @@ -{ stdenv, agda, fetchurl, ghcWithPackages }: +{ stdenv, agda, fetchgit, ghcWithPackages }: agda.mkDerivation (self: rec { - version = "v0.12"; + version = "2.4.2.3"; name = "agda-stdlib-${version}"; - src = fetchurl { - url = "https://github.com/agda/agda-stdlib/archive/${version}.tar.gz"; - sha256 = "11qf87hxx3g0n8i6nkp4vqvh3i0gal6g812p0w2n4k7711nvrp9g"; + src = fetchgit { + url = "git://github.com/agda/agda-stdlib"; + rev = "9c9b3cb28f9a7d39a256890a1469c1a3f7fc4faf"; + sha256 = "521899b820e70abbae7cb30008b87a2f8676bc6265b78865e42982fc2e5c972f"; }; nativeBuildInputs = [ (ghcWithPackages (self : [ self.filemanip ])) ]; @@ -21,6 +22,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 mudri ]; + maintainers = with maintainers; [ jwiegley fuuzetsu ]; }; }) |