dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

Merge pull request #180876 from marsam/update-mlkit

Browse Source 
mlkit: 4.5.9 -> 4.6.1
This commit is contained in:
Mario Rodas 2022-07-09 14:50:03 -05:00 committed by GitHub
commit f4de7114a9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/development/compilers/mlkit/default.nix
View File

@ -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";

1
pkgs/tools/package-management/smlpkg/default.nix
View File

@ -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 ];
};
}