diff options
author | Katharina Fey <kookie@spacekookie.de> | 2020-03-24 10:15:32 +0100 |
---|---|---|
committer | Katharina Fey <kookie@spacekookie.de> | 2020-03-24 10:15:32 +0100 |
commit | 96f063dd321abc80ecaa156226cfb7cf9540315a (patch) | |
tree | 7a53ef61484fc7bfff6419b1fd635c67199f27d2 /nixpkgs/pkgs/development/idris-modules | |
parent | af58f08d3d524e7b008b73a8497ea710915ffaf1 (diff) | |
parent | d96bd3394b734487d1c3bfbac0e8f17465e03afe (diff) |
Merge commit 'd96bd3394b734487d1c3bfbac0e8f17465e03afe'
Diffstat (limited to 'nixpkgs/pkgs/development/idris-modules')
-rw-r--r-- | nixpkgs/pkgs/development/idris-modules/tparsec.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/nixpkgs/pkgs/development/idris-modules/tparsec.nix b/nixpkgs/pkgs/development/idris-modules/tparsec.nix index 599ca72c615..67020898ff3 100644 --- a/nixpkgs/pkgs/development/idris-modules/tparsec.nix +++ b/nixpkgs/pkgs/development/idris-modules/tparsec.nix @@ -5,7 +5,7 @@ }: build-idris-package { name = "tparsec"; - version = "2019-09-19"; + version = "2020-02-11"; ipkgName = "TParsec"; @@ -14,8 +14,8 @@ build-idris-package { src = fetchFromGitHub { owner = "gallais"; repo = "idris-tparsec"; - rev = "cbaea6ec7e5b62536666329940f3ffb5b8b59036"; - sha256 = "0bzdv90a83irn7ca268acl19mjg9vxjmc4saa4naj4hdmg7srb2v"; + rev = "943c64dfcb4e1582696f68312fad88145dc3a8e4"; + sha256 = "0pyhkafhx2pwim91ada6qrgacvahl9bpv5m486y8fph4qzf4z6mx"; }; meta = { |