diff options
| author | Silvan Mosberger <infinisil@icloud.com> | 2018-07-02 05:30:06 +0200 |
|---|---|---|
| committer | Silvan Mosberger <infinisil@icloud.com> | 2018-07-02 06:43:15 +0200 |
| commit | 74d2b01db5291ed81ec06c10ea1a3b1829c24018 (patch) | |
| tree | 431b2b125c32d1d51bb0e5f7a5db906286128add /pkgs/development/idris-modules | |
| parent | 0519b48ab86964c57e692782ad99cffb697a74aa (diff) | |
idrisPackages.tparsec: 2017-12-12 -> 2018-06-26, fix build
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 ba9e5e586ed7..bd895a33bae3 100644 --- a/pkgs/development/idris-modules/tparsec.nix +++ b/pkgs/development/idris-modules/tparsec.nix @@ -4,13 +4,13 @@ }: build-idris-package { name = "tparsec"; - version = "2017-12-12"; + version = "2018-06-26"; src = fetchFromGitHub { owner = "gallais"; repo = "idris-tparsec"; - rev = "fb87d08f8f58c934f37d8324b43b0979abcf2183"; - sha256 = "0362076bfs976gqki4b4pxblhnk4xglgx5v2aycjpxsxlpxh6cfd"; + rev = "ca32d1a83f3de95f8979d48016e79d010f47b3c2"; + sha256 = "1zjzk8xjmyyx1qwrdwwg7yjzcgj5wkbwpx8a3wpbj5sv4b5s2r30"; }; meta = { |