diff options
author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2018-03-09 11:38:33 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-03-09 11:38:33 +0000 |
commit | 2d2208eb9d64ccc29077de31c8dd61dfc00e1c23 (patch) | |
tree | 4407e56ba9008a72414bd97371d21fd647f9c63f | |
parent | 558949f2c0d761031fe2e0c6861cb9f61b6239e5 (diff) | |
parent | 4d4171d5f640212909360f892fc3405bd40217c1 (diff) | |
download | nixpkgs-2d2208eb9d64ccc29077de31c8dd61dfc00e1c23.tar nixpkgs-2d2208eb9d64ccc29077de31c8dd61dfc00e1c23.tar.gz nixpkgs-2d2208eb9d64ccc29077de31c8dd61dfc00e1c23.tar.bz2 nixpkgs-2d2208eb9d64ccc29077de31c8dd61dfc00e1c23.tar.lz nixpkgs-2d2208eb9d64ccc29077de31c8dd61dfc00e1c23.tar.xz nixpkgs-2d2208eb9d64ccc29077de31c8dd61dfc00e1c23.tar.zst nixpkgs-2d2208eb9d64ccc29077de31c8dd61dfc00e1c23.zip |
Merge pull request #36619 from brainrape/fix-idrisPackages
idrisPackages: fix errors
-rw-r--r-- | pkgs/development/idris-modules/default.nix | 2 | ||||
-rw-r--r-- | pkgs/development/idris-modules/wl-pprint.nix | 8 |
2 files changed, 4 insertions, 6 deletions
diff --git a/pkgs/development/idris-modules/default.nix b/pkgs/development/idris-modules/default.nix index 35ee20e9622..4309039f498 100644 --- a/pkgs/development/idris-modules/default.nix +++ b/pkgs/development/idris-modules/default.nix @@ -50,8 +50,6 @@ lightyear = callPackage ./lightyear.nix {}; - optparse = callPackage ./optparse.nix {}; - wl-pprint = callPackage ./wl-pprint.nix {}; specdris = callPackage ./specdris.nix {}; diff --git a/pkgs/development/idris-modules/wl-pprint.nix b/pkgs/development/idris-modules/wl-pprint.nix index 7e6d77a19a2..9ecf0591805 100644 --- a/pkgs/development/idris-modules/wl-pprint.nix +++ b/pkgs/development/idris-modules/wl-pprint.nix @@ -6,14 +6,14 @@ , idris }: build-idris-package { - pkName = "wl-pprint"; - version = "2016-09-28"; + name = "wl-pprint"; + version = "2017-03-13"; src = fetchFromGitHub { owner = "shayan-najd"; repo = "wl-pprint"; - rev = "4cc88a0865620a3b997863e4167d3b98e1a41b52"; - sha256 = "1yxxh366k5njad75r0xci2q5c554cddvzgrwk43b0xn8rq0vm11x"; + rev = "97590d1679b3db07bb430783988b4cba539e9947"; + sha256 = "0ifp76cqg340jkkzanx69vg76qivv53vh1lzv9zkp5f49prkwl5d"; }; # The tests for this package fail. We should attempt to enable them when |