diff options
| author | TG ⊗ Θ <*@tg-x.net> | 2018-12-20 15:52:20 +0100 |
|---|---|---|
| committer | TG ⊗ Θ <*@tg-x.net> | 2018-12-20 15:52:20 +0100 |
| commit | 551ffccf9824369b55ed0f6e935ad7589637275a (patch) | |
| tree | 1732bb13faea116d714dc51c9390f25bce10991b /pkgs/development/idris-modules | |
| parent | dafdadda3a41de6beae864485ebba9d4bb8e0512 (diff) | |
| download | nixpkgs-551ffccf9824369b55ed0f6e935ad7589637275a.tar nixpkgs-551ffccf9824369b55ed0f6e935ad7589637275a.tar.gz nixpkgs-551ffccf9824369b55ed0f6e935ad7589637275a.tar.bz2 nixpkgs-551ffccf9824369b55ed0f6e935ad7589637275a.tar.lz nixpkgs-551ffccf9824369b55ed0f6e935ad7589637275a.tar.xz nixpkgs-551ffccf9824369b55ed0f6e935ad7589637275a.tar.zst nixpkgs-551ffccf9824369b55ed0f6e935ad7589637275a.zip | |
idrisPackages.tparsec: 2018-06-26 -> 2018-11-09
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 00d4adba5dc..fcf25f0fb93 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-06-26"; + version = "2018-11-09"; ipkgName = "TParsec"; src = fetchFromGitHub { owner = "gallais"; repo = "idris-tparsec"; - rev = "ca32d1a83f3de95f8979d48016e79d010f47b3c2"; - sha256 = "1zjzk8xjmyyx1qwrdwwg7yjzcgj5wkbwpx8a3wpbj5sv4b5s2r30"; + rev = "fc5bc1e0bf21a53ec854990ed799c4c73e304b06"; + sha256 = "0ladks6x1qhs884w4rsxnzpq8dpijyqfqbvhk55kq10xh6w1smrz"; }; meta = { |