diff options
Diffstat (limited to 'pkgs/development/idris-modules/setoids.nix')
-rw-r--r-- | pkgs/development/idris-modules/setoids.nix | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/pkgs/development/idris-modules/setoids.nix b/pkgs/development/idris-modules/setoids.nix index 76bf127818ce3..6db49c3c3c9f9 100644 --- a/pkgs/development/idris-modules/setoids.nix +++ b/pkgs/development/idris-modules/setoids.nix @@ -1,26 +1,24 @@ { build-idris-package , fetchFromGitHub -, prelude +, contrib , lib -, idris }: build-idris-package { name = "setoids"; - version = "2017-03-13"; + version = "2018-06-18"; - idrisDeps = [ prelude ]; + idrisDeps = [ contrib ]; src = fetchFromGitHub { owner = "danilkolikov"; repo = "setoids"; - rev = "a50cfc010cb4321cc9b7988c0a4f387d83d34839"; - sha256 = "0q0h2qj9vylkm16h70l78l2p5xjkx4qmg2a2ixfl8vq8b1zm8gch"; + rev = "41b4af3b1a537d9471107a639ad77c7abee2de18"; + sha256 = "0fl1g59s16vnrdnplps5ncv27j7a93nxp9cmqp2iavjxlzlzin1v"; }; meta = { description = "Idris proofs for extensional equalities"; homepage = https://github.com/danilkolikov/setoids; maintainers = [ lib.maintainers.brainrape ]; - inherit (idris.meta) platforms; }; } |