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