diff options
author | R. Ryantm <ryantm-bot@ryantm.com> | 2021-12-07 08:03:09 +0000 |
---|---|---|
committer | sterni <sternenseemann@systemli.org> | 2021-12-13 15:08:05 +0100 |
commit | dc67304893acc06be4feb3ff03b843bbfd3fd0fa (patch) | |
tree | f4242960655897ab0cfaca70a4e43b35116ea15e | |
parent | 8f0a587d4a57d9ac20c048ba73347adb5e1c421d (diff) | |
download | nixpkgs-dc67304893acc06be4feb3ff03b843bbfd3fd0fa.tar nixpkgs-dc67304893acc06be4feb3ff03b843bbfd3fd0fa.tar.gz nixpkgs-dc67304893acc06be4feb3ff03b843bbfd3fd0fa.tar.bz2 nixpkgs-dc67304893acc06be4feb3ff03b843bbfd3fd0fa.tar.lz nixpkgs-dc67304893acc06be4feb3ff03b843bbfd3fd0fa.tar.xz nixpkgs-dc67304893acc06be4feb3ff03b843bbfd3fd0fa.tar.zst nixpkgs-dc67304893acc06be4feb3ff03b843bbfd3fd0fa.zip |
koka: 2.3.2 -> 2.3.6
-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 9e4e446b123..51d0a9ed7b9 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.3.2"; + version = "2.3.6"; src = fetchFromGitHub { owner = "koka-lang"; repo = "koka"; rev = "v${version}"; - sha256 = "sha256-+w99Jvsd1tccUUYaP2TRgCNyGnMINWamuNRumHGzFWA="; + sha256 = "sha256-AibS/HudJKFQZlTxGD5LfwjBawIy1xwO2Hm8qzAUP2M="; fetchSubmodules = true; }; kklib = stdenv.mkDerivation { |