diff options
author | Silvan Mosberger <infinisil@icloud.com> | 2018-07-02 05:22:31 +0200 |
---|---|---|
committer | Silvan Mosberger <infinisil@icloud.com> | 2018-07-02 06:43:15 +0200 |
commit | 0519b48ab86964c57e692782ad99cffb697a74aa (patch) | |
tree | 52224599b89ff334ac6b0718687d6bdae315b891 /pkgs/development/idris-modules | |
parent | df6974cff2d7746286bc5d9c91674f4d2d9df466 (diff) |
idrisPackages.setoids: 2017-03-13 -> 2018-06-18, fix build
Diffstat (limited to 'pkgs/development/idris-modules')
-rw-r--r-- | pkgs/development/idris-modules/setoids.nix | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/pkgs/development/idris-modules/setoids.nix b/pkgs/development/idris-modules/setoids.nix index e1fe9a5701f4..6db49c3c3c9f 100644 --- a/pkgs/development/idris-modules/setoids.nix +++ b/pkgs/development/idris-modules/setoids.nix @@ -1,16 +1,19 @@ { build-idris-package , fetchFromGitHub +, contrib , lib }: build-idris-package { name = "setoids"; - version = "2017-03-13"; + version = "2018-06-18"; + + idrisDeps = [ contrib ]; src = fetchFromGitHub { owner = "danilkolikov"; repo = "setoids"; - rev = "a50cfc010cb4321cc9b7988c0a4f387d83d34839"; - sha256 = "0q0h2qj9vylkm16h70l78l2p5xjkx4qmg2a2ixfl8vq8b1zm8gch"; + rev = "41b4af3b1a537d9471107a639ad77c7abee2de18"; + sha256 = "0fl1g59s16vnrdnplps5ncv27j7a93nxp9cmqp2iavjxlzlzin1v"; }; meta = { |