From 1ba6a578875c12578b3a30980c3e678eeae0b7c1 Mon Sep 17 00:00:00 2001 From: Mario Rodas Date: Sat, 9 Jul 2022 04:20:00 +0000 Subject: [PATCH 1/2] mlkit: 4.5.9 -> 4.6.1 --- pkgs/development/compilers/mlkit/default.nix | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/pkgs/development/compilers/mlkit/default.nix b/pkgs/development/compilers/mlkit/default.nix index 04e9e8a1630e..eb2866629721 100644 --- a/pkgs/development/compilers/mlkit/default.nix +++ b/pkgs/development/compilers/mlkit/default.nix @@ -2,18 +2,18 @@ stdenv.mkDerivation rec { pname = "mlkit"; - version = "4.5.9"; + version = "4.6.1"; src = fetchFromGitHub { owner = "melsman"; repo = "mlkit"; rev = "v${version}"; - sha256 = "sha256-b+iPuGB82a0r0zl49+RbalxR6OpFNXOxZgubzKE+2M4="; + sha256 = "sha256-04G9G14fhEh8wwgqHwUR+sbYU3zaZcFV0q5SoAKcyjY="; }; nativeBuildInputs = [ autoreconfHook mlton ]; - buildFlags = ["mlkit" "mlkit_libs"]; + buildFlags = [ "mlkit" "mlkit_libs" ]; meta = with lib; { description = "Standard ML Compiler and Toolkit"; From 7ca3b1a2fce2547367c7487836016a79ae51324a Mon Sep 17 00:00:00 2001 From: Mario Rodas Date: Sat, 9 Jul 2022 04:20:00 +0000 Subject: [PATCH 2/2] smlpkg: add platforms --- pkgs/tools/package-management/smlpkg/default.nix | 1 + 1 file changed, 1 insertion(+) diff --git a/pkgs/tools/package-management/smlpkg/default.nix b/pkgs/tools/package-management/smlpkg/default.nix index f3f7750f1bdd..b92ced4842a0 100644 --- a/pkgs/tools/package-management/smlpkg/default.nix +++ b/pkgs/tools/package-management/smlpkg/default.nix @@ -37,6 +37,7 @@ stdenv.mkDerivation rec { description = "Generic package manager for Standard ML libraries and programs"; homepage = "https://github.com/diku-dk/smlpkg"; license = licenses.mit; + platforms = mlton.meta.platforms; maintainers = with maintainers; [ athas ]; }; }