diff options
author | Alex Gryzlov <skyrodent@gmail.com> | 2019-06-21 18:57:15 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-06-21 18:57:15 +0300 |
commit | 46c5c8c16b24968bf68886f84763eff6c8f551c0 (patch) | |
tree | 4aa7f84f61702115a397173fdd11301ab81f7757 /pkgs/development/idris-modules | |
parent | 5a21a5207423953f2cadf88332a603c1a9f01598 (diff) | |
download | nixpkgs-46c5c8c16b24968bf68886f84763eff6c8f551c0.tar nixpkgs-46c5c8c16b24968bf68886f84763eff6c8f551c0.tar.gz nixpkgs-46c5c8c16b24968bf68886f84763eff6c8f551c0.tar.bz2 nixpkgs-46c5c8c16b24968bf68886f84763eff6c8f551c0.tar.lz nixpkgs-46c5c8c16b24968bf68886f84763eff6c8f551c0.tar.xz nixpkgs-46c5c8c16b24968bf68886f84763eff6c8f551c0.tar.zst nixpkgs-46c5c8c16b24968bf68886f84763eff6c8f551c0.zip |
idrisPackages.tparsec: 2018-12-21 -> 2019-06-18
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 8aa413b51c3..650d843be84 100644 --- a/pkgs/development/idris-modules/tparsec.nix +++ b/pkgs/development/idris-modules/tparsec.nix @@ -4,15 +4,15 @@ }: build-idris-package { name = "tparsec"; - version = "2018-12-21"; + version = "2019-06-18"; ipkgName = "TParsec"; src = fetchFromGitHub { owner = "gallais"; repo = "idris-tparsec"; - rev = "6fafcaa894def6f2af86bc799e507013b56e7741"; - sha256 = "0alnw0hqjs200gvb5f58lb16rna48j1v6wnvq4q7zbw99dcxsxwn"; + rev = "3809afd8735b0054e5db788f18a7fa8ed71d8278"; + sha256 = "0wmgg1zg9p8gqlfvcsnww17jsifx9987cxqdq6kbdgasn26w2rqx"; }; meta = { |