diff options
author | Ben Siraphob <bensiraphob@gmail.com> | 2021-06-09 14:44:33 +0700 |
---|---|---|
committer | sterni <sternenseemann@systemli.org> | 2021-06-09 12:16:11 +0200 |
commit | 0d8332d2b9abf26c3066a50e425633439216d66b (patch) | |
tree | 0aa090f641b40c9fdf7468544f5f6c9fe3ddbd3c /pkgs/development/compilers/koka | |
parent | d4a77231fbbf62be08b27b8f21a2303c9765803b (diff) | |
download | nixpkgs-0d8332d2b9abf26c3066a50e425633439216d66b.tar nixpkgs-0d8332d2b9abf26c3066a50e425633439216d66b.tar.gz nixpkgs-0d8332d2b9abf26c3066a50e425633439216d66b.tar.bz2 nixpkgs-0d8332d2b9abf26c3066a50e425633439216d66b.tar.lz nixpkgs-0d8332d2b9abf26c3066a50e425633439216d66b.tar.xz nixpkgs-0d8332d2b9abf26c3066a50e425633439216d66b.tar.zst nixpkgs-0d8332d2b9abf26c3066a50e425633439216d66b.zip |
koka: 2.1.1 -> 2.1.4
Diffstat (limited to 'pkgs/development/compilers/koka')
-rw-r--r-- | pkgs/development/compilers/koka/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/compilers/koka/default.nix b/pkgs/development/compilers/koka/default.nix index 6523dcca2f6..30e273271ae 100644 --- a/pkgs/development/compilers/koka/default.nix +++ b/pkgs/development/compilers/koka/default.nix @@ -4,12 +4,12 @@ , parsec, process, regex-compat, text, time }: let - version = "2.1.1"; + version = "2.1.4"; src = fetchFromGitHub { owner = "koka-lang"; repo = "koka"; rev = "v${version}"; - sha256 = "sha256-cq+dljfTKJh5NgwQfxQQP9jRcg2PQxxBVEgQ59ll36o="; + sha256 = "sha256-MPMA8ZErEKv1SrkliLsy35k88GrdsPqIK6yokQreIjE="; fetchSubmodules = true; }; kklib = stdenv.mkDerivation { |