[ ソース: 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: libpolyml7 (= 5.6-8) [sh4]
- Standard ML 用のコンパイラ、Poly/ML 用ランタイムファイル
-
- dep: libpolyml9 (= 5.7.1-5) [ia64]
- Standard ML 用のコンパイラ、Poly/ML 用ランタイムファイル
- dep: libpolyml9 (= 5.7.1-5+b1) [alpha, hppa, m68k, ppc64, sparc64, x32]
- dep: libpolyml9 (= 5.7.1-5+b2) [amd64, arm64, armhf, i386, ppc64el, riscv64, s390x]
libpolyml-dev のダウンロード
| アーキテクチャ | バージョン | パッケージサイズ | インストールサイズ | ファイル |
|---|---|---|---|---|
| alpha (非公式の移植版) | 5.7.1-5+b1 | 247.7 kB | 1,679.0 kB | [ファイル一覧] |
| amd64 | 5.7.1-5+b2 | 224.6 kB | 1,253.0 kB | [ファイル一覧] |
| arm64 | 5.7.1-5+b2 | 221.5 kB | 1,319.0 kB | [ファイル一覧] |
| armhf | 5.7.1-5+b2 | 212.9 kB | 859.0 kB | [ファイル一覧] |
| hppa (非公式の移植版) | 5.7.1-5+b1 | 231.7 kB | 1,024.0 kB | [ファイル一覧] |
| i386 | 5.7.1-5+b2 | 246.6 kB | 1,009.0 kB | [ファイル一覧] |
| ia64 (非公式の移植版) | 5.7.1-5 | 267.6 kB | 1,641.0 kB | [ファイル一覧] |
| m68k (非公式の移植版) | 5.7.1-5+b1 | 209.2 kB | 927.0 kB | [ファイル一覧] |
| ppc64 (非公式の移植版) | 5.7.1-5+b1 | 238.2 kB | 1,453.0 kB | [ファイル一覧] |
| ppc64el | 5.7.1-5+b2 | 241.1 kB | 1,405.0 kB | [ファイル一覧] |
| riscv64 | 5.7.1-5+b2 | 569.8 kB | 5,611.0 kB | [ファイル一覧] |
| s390x | 5.7.1-5+b2 | 224.9 kB | 1,248.0 kB | [ファイル一覧] |
| sh4 (非公式の移植版) | 5.6-8 | 225.8 kB | 838.0 kB | [ファイル一覧] |
| sparc64 (非公式の移植版) | 5.7.1-5+b1 | 211.5 kB | 1,375.0 kB | [ファイル一覧] |
| x32 (非公式の移植版) | 5.7.1-5+b1 | 221.4 kB | 960.0 kB | [ファイル一覧] |