Commit e910a0bc authored by R. RyanTM's avatar R. RyanTM Committed by sternenseemann
Browse files

koka: 3.0.4 -> 3.1.0

parent b7f3957d

pkgs/development/compilers/koka/default.nix

+2 −2
Original line number Diff line number Diff line
@@ -31,12 +31,12 @@ 
}:



let

  version = "3.0.4";

  version = "3.1.0";

  src = fetchFromGitHub {

    owner = "koka-lang";

    repo = "koka";

    rev = "v${version}";

    sha256 = "sha256-U8BW1Aq9t3je0YDV8NkE0MzdnjwXBJQbmekh5ufOs3k=";

    sha256 = "sha256-Twm2Hr8BQ0xTdA30e2Az/57525jTUkmv2Zs/+SNiQns=";

    fetchSubmodules = true;

  };

  kklib = stdenv.mkDerivation {