diff options
| author | TG ⊗ Θ <*@tg-x.net> | 2019-02-05 18:25:25 +0100 |
|---|---|---|
| committer | TG ⊗ Θ <*@tg-x.net> | 2019-02-05 18:25:25 +0100 |
| commit | 50087e01c43a8a5d97352a30fbcdfe8531b6c9a6 (patch) | |
| tree | 554907d7bba05afb11c5e618c22470a89afb2193 /pkgs/development/idris-modules | |
| parent | aaeaa6d1c6052938c302c07407e441e5b5794e48 (diff) | |
| download | nixpkgs-50087e01c43a8a5d97352a30fbcdfe8531b6c9a6.tar nixpkgs-50087e01c43a8a5d97352a30fbcdfe8531b6c9a6.tar.gz nixpkgs-50087e01c43a8a5d97352a30fbcdfe8531b6c9a6.tar.bz2 nixpkgs-50087e01c43a8a5d97352a30fbcdfe8531b6c9a6.tar.lz nixpkgs-50087e01c43a8a5d97352a30fbcdfe8531b6c9a6.tar.xz nixpkgs-50087e01c43a8a5d97352a30fbcdfe8531b6c9a6.tar.zst nixpkgs-50087e01c43a8a5d97352a30fbcdfe8531b6c9a6.zip | |
idrisPackages.tparsec: 2018-11-09 -> 2018-12-21
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 fcf25f0fb93..8aa413b51c3 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-11-09"; + version = "2018-12-21"; ipkgName = "TParsec"; src = fetchFromGitHub { owner = "gallais"; repo = "idris-tparsec"; - rev = "fc5bc1e0bf21a53ec854990ed799c4c73e304b06"; - sha256 = "0ladks6x1qhs884w4rsxnzpq8dpijyqfqbvhk55kq10xh6w1smrz"; + rev = "6fafcaa894def6f2af86bc799e507013b56e7741"; + sha256 = "0alnw0hqjs200gvb5f58lb16rna48j1v6wnvq4q7zbw99dcxsxwn"; }; meta = { |