From 7ca3b1a2fce2547367c7487836016a79ae51324a Mon Sep 17 00:00:00 2001
From: Mario Rodas <marsam@users.noreply.github.com>
Date: Sat, 9 Jul 2022 04:20:00 +0000
Subject: [PATCH] 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 ];
   };
 }