From 917509474c94563514084a6bfceeaf4afe55d841 Mon Sep 17 00:00:00 2001 From: Siraaj Khandkar Date: Tue, 24 Sep 2019 07:52:30 -0400 Subject: [PATCH] Add SML/NJ pkgs --- pkgs-deb-install.list | 4 ++++ 1 file changed, 4 insertions(+) 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 -- 2.20.1