SML#リリース時点での Fedora Rawhideに対してプライベートリポジトリを用意しています． このリポジトリをシステムに追加することで，dnfコマンドで SML#コンパイラのインストールおよびアップデートを行うことができます．

以下のコマンドでインストールできます．

• •

  Fedora Rawhide:

  rpm -i https://smlsharp.github.io/repos/fedora/smlsharp-release-fedora-41-1.noarch.rpm
  dnf install smlsharp smlsharp-smlformat smlsharp-smllex smlsharp-smlyacc

詳細は，以下のとおりです（Rawhideの場合）．

1. 1.

   SML#開発チームの公開鍵およびプライベートリポジトリの設定 ファイルを含むRPMパッケージをダウンロードしインストールします．

   rpm -i https://smlsharp.github.io/repos/fedora/smlsharp-release-fedora-41-1.noarch.rpm

2. 2.

   SML#コンパイラおよび周辺ツールをインストールします．

   dnf install smlsharp smlsharp-smlformat smlsharp-smllex smlsharp-smlyacc

   dnfコマンドの実行中，SML#開発チームの公開鍵を インポートすることについて何度か聞かれます． 鍵指紋を確認の上，許可してください． 鍵指紋は以下の通りです．

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