[ ソース: polyml ]
パッケージ: libpolyml9 (5.7.1-5 など)
libpolyml9 に関するリンク
Debian の資源:
polyml ソースパッケージをダウンロード:
メンテナ:
外部の資源:
- ホームページ [www.polyml.org]
類似のパッケージ:
Standard ML 用のコンパイラ、Poly/ML 用ランタイムファイル
Poly/ML はプログラミング言語 Standard ML の一実装です。Standard ML は汎用で モジュラー、型安全性があり正格な関数プログラミング言語です。Poly/ML は SML 97 準拠のインタプリタおよびコンパイラで、単独実行可能な形式の生成と 対話的トップレベル (REPL) をサポートしています。
このパッケージは、Poly/ML でビルドされた単独実行可能な形式の実行に必要な ファイル群を提供します。
その他の libpolyml9 関連パッケージ
|
|
|
|
-
- dep: libc6 (>= 2.34)
- GNU C ライブラリ: 共有ライブラリ
以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb
-
- dep: libffi8 (>= 3.4)
- Foreign Function Interface ランタイムライブラリ
-
- dep: libgcc-s1 (>= 3.0)
- GCC 共有ライブラリ
-
- dep: libstdc++6 (>= 5)
- GNU 標準 C++ ライブラリ v3