BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

koka: 2.3.2 -> 2.3.6

Browse source
This commit is contained in:
R. Ryantm 2021-12-07 08:03:09 +00:00 committed by sterni
parent 8f0a587d4a
commit dc67304893
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
pkgs/development/compilers/koka/default.nix
View file

@ -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 {