From: Siraaj Khandkar <siraaj@khandkar.net>
Date: Tue, 24 Sep 2019 11:52:30 +0000 (-0400)
Subject: Add SML/NJ pkgs
X-Git-Url: https://git.xandkar.net/?a=commitdiff_plain;h=917509474c94563514084a6bfceeaf4afe55d841;p=khome.git

Add SML/NJ pkgs
---

diff --git a/pkgs-deb-install.list b/pkgs-deb-install.list
index 66abc74..85c962f 100644
--- a/pkgs-deb-install.list
+++ b/pkgs-deb-install.list
@@ -43,6 +43,10 @@ erlang
 elixir
 openconnect  # VPN cllient compatible with Cisco's AnyConnect
 
+# SML
+smlnj
+smlnj-doc
+
 # Xapian desktop search:
 xapian-omega  # index with omindex
 xapian-tools  # search with quest