[ ソース: polyml ]
パッケージ: libpolyml-dev (5.7.1-5)
libpolyml-dev に関するリンク
Debian の資源:
polyml ソースパッケージをダウンロード:
メンテナ:
外部の資源:
- ホームページ [www.polyml.org]
類似のパッケージ:
Standard ML 用のコンパイラ、Poly/ML 開発用ファイル
Poly/ML はプログラミング言語 Standard ML の一実装です。Standard ML は汎用で モジュラー、型安全性があり正格な関数プログラミング言語です。Poly/ML は SML 97 準拠のインタプリタおよびコンパイラで、単独実行可能な形式の生成と 対話的トップレベル (REPL) をサポートしています。
このパッケージは Poly/ML で単独実行可能な形式のコンパイルに必要な ファイル群を提供します。
その他の libpolyml-dev 関連パッケージ
|
|
|
|
-
- dep: libpolyml9 (= 5.7.1-5)
- Standard ML 用のコンパイラ、Poly/ML 用ランタイムファイル
libpolyml-dev のダウンロード
アーキテクチャ | パッケージサイズ | インストールサイズ | ファイル |
---|---|---|---|
amd64 | 219.8 kB | 1,217.0 kB | [ファイル一覧] |
arm64 | 213.8 kB | 1,247.0 kB | [ファイル一覧] |
armel | 207.0 kB | 929.0 kB | [ファイル一覧] |
armhf | 206.5 kB | 829.0 kB | [ファイル一覧] |
i386 | 242.7 kB | 989.0 kB | [ファイル一覧] |
mips64el | 246.5 kB | 1,571.0 kB | [ファイル一覧] |
mipsel | 242.8 kB | 1,083.0 kB | [ファイル一覧] |
ppc64el | 236.9 kB | 1,376.0 kB | [ファイル一覧] |
s390x | 203.4 kB | 1,210.0 kB | [ファイル一覧] |