diff options
Diffstat (limited to 'pkgs/development/idris-modules/categories.nix')
-rw-r--r-- | pkgs/development/idris-modules/categories.nix | 15 |
1 files changed, 5 insertions, 10 deletions
diff --git a/pkgs/development/idris-modules/categories.nix b/pkgs/development/idris-modules/categories.nix index 32be0f6a37957..1e234b3f6934d 100644 --- a/pkgs/development/idris-modules/categories.nix +++ b/pkgs/development/idris-modules/categories.nix @@ -1,27 +1,22 @@ { build-idris-package , fetchFromGitHub -, prelude -, base , lib -, idris }: build-idris-package { name = "categories"; - version = "2017-03-01"; - - idrisDeps = [ prelude base ]; + version = "2018-07-02"; + # https://github.com/danilkolikov/categories/pull/5 src = fetchFromGitHub { - owner = "danilkolikov"; + owner = "infinisil"; repo = "categories"; - rev = "933fe418d154e10df39ddb09a74419cb4c4a57e8"; - sha256 = "1dmpcv13zh7j4k6s2nlpf08gmpawaqaqkbqbg8zrgw253piwb0ci"; + rev = "9722d62297e5025431e91b271ab09c5d14867236"; + sha256 = "1bbmm8zif5d5wckdaddw6q3c39w6ms1cxrlrmkdn7bik88dawff2"; }; meta = { description = "Category Theory"; homepage = https://github.com/danilkolikov/categories; maintainers = [ lib.maintainers.brainrape ]; - inherit (idris.meta) platforms; }; } |