X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=pkgs-deb-install.list;fp=pkgs-deb-install.list;h=85c962fafc4a42e2f8917a52c5488b6549c0d8e4;hb=917509474c94563514084a6bfceeaf4afe55d841;hp=66abc747ab19b425fb2e6919ea421593bde52974;hpb=8267e78253891c77bfeecc800ccbb5ebf47f74de;p=khome.git

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