diff options
author | Alex Gryzlov <skyrodent@gmail.com> | 2020-02-17 20:08:27 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-17 20:08:27 +0100 |
commit | 11a9dfeb96dd84a7fbd44498b1950890d51faa5b (patch) | |
tree | f8ddb31315e21e271fc42a2aee2554f9ebdb4d28 /pkgs/development/idris-modules | |
parent | 69efb5cd343a947502bf2372c0385e0afc84c570 (diff) | |
download | nixpkgs-11a9dfeb96dd84a7fbd44498b1950890d51faa5b.tar nixpkgs-11a9dfeb96dd84a7fbd44498b1950890d51faa5b.tar.gz nixpkgs-11a9dfeb96dd84a7fbd44498b1950890d51faa5b.tar.bz2 nixpkgs-11a9dfeb96dd84a7fbd44498b1950890d51faa5b.tar.lz nixpkgs-11a9dfeb96dd84a7fbd44498b1950890d51faa5b.tar.xz nixpkgs-11a9dfeb96dd84a7fbd44498b1950890d51faa5b.tar.zst nixpkgs-11a9dfeb96dd84a7fbd44498b1950890d51faa5b.zip |
idrisPackages.tparsec: 2019-09-19 -> 2020-02-11
Diffstat (limited to 'pkgs/development/idris-modules')
-rw-r--r-- | pkgs/development/idris-modules/tparsec.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/development/idris-modules/tparsec.nix b/pkgs/development/idris-modules/tparsec.nix index 599ca72c615..67020898ff3 100644 --- a/pkgs/development/idris-modules/tparsec.nix +++ b/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 = { |