Private repositories of SML# are provided for the latest stable version (when SML# is released) of Debian GNU/Linux and Debian sid. Add one of these repositories to your system, and you can install and update SML# by apt command.

Do the following commmands to set up the SML# compiler.

• •

  Debian sid:

  wget -P /etc/apt/keyrings https://smlsharp.github.io/repos/debian/dists/sid/smlsharp-archive-keyring.gpg
  wget -P /etc/apt/sources.list.d https://smlsharp.github.io/repos/debian/dists/sid/smlsharp.sources
  apt update
  apt install smlsharp

• •

  Debian 12 (bookworm):

  wget -P /etc/apt/keyrings https://smlsharp.github.io/repos/debian/dists/bookworm/smlsharp-archive-keyring.gpg
  wget -P /etc/apt/sources.list.d https://smlsharp.github.io/repos/debian/dists/bookworm/smlsharp.sources
  apt update
  apt install smlsharp

• •

  Debian 11 (bullseye):

  wget -P /usr/share/keyrings https://smlsharp.github.io/repos/debian/dists/bullseye/smlsharp-archive-keyring.gpg
  wget -P /etc/apt/sources.list.d https://smlsharp.github.io/repos/debian/dists/bullseye/smlsharp.list
  apt update
  apt install smlsharp

We show some more details of installation below (for sid).

1. 1.

   Download the public key of the SML# development team and put it to the specified position in the system.

   wget -P /etc/apt/keyrings https://smlsharp.github.io/repos/debian/dists/sid/smlsharp-archive-keyring.gpg

   You can check the fingerprint of the key by the following command:

   gpg --with-fingerprint /etc/apt/keyrings/smlsharp-archive-keyring.gpg

   Confirm that the fingerprint of the downloaded key is identical to the above fingerprint (those who would like to verify the public key strictly should meet a developer of the SML# compiler and receive the fingerprint of the key). The fingerprint of the key is the following:

   DD99 2B50 C9A3 B075 DA04 613A D299 F71F C5C1 D12E

2. 2.

   Download the description file of the private repository and add it to the system.

   wget -P /etc/apt/sources.list.d https://smlsharp.github.io/repos/debian/dists/sid/smlsharp.sources

3. 3.

   Obtain the package list from the repository.

   apt update

4. 4.

   Install the SML# compiler. Prerequisite libraries, such as LLVM and MassiveThreads, are installed if needed. SML# tools, such as SMLFormat, are also installed as recommended packages.

   apt install smlsharp