Skip to content
Sections
>> Trisquel >> パッケージ >> aramo >> libs >> libpolyml9
etiona  ] [  nabia  ] [  aramo  ]
[ ソース: polyml  ]

パッケージ: libpolyml9 (5.7.1-4ubuntu1)

runtime files for Poly/ML, a compiler for Standard ML

Poly/ML is an implementation of the Standard ML programming language Standard ML is a general-purpose, modular, type-safe, strict, functional programming language. Poly/ML is SML 97 compliant interpreter and compiler that supports the generation of stand-alone executables with an interactive toplevel (REPL).

This package provides the files needed to run stand-alone executables built with Poly/ML.

その他の libpolyml9 関連パッケージ

  • 依存
  • 推奨
  • 提案
  • dep: libc6 (>= 2.34)
    GNU C Library: Shared libraries
    以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb
  • dep: libffi8 (>= 3.4)
    Foreign Function Interface library runtime
  • dep: libgcc-s1 (>= 3.5)
    GCC support library
  • dep: libstdc++6 (>= 5)
    GNU Standard C++ Library v3

libpolyml9 のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ パッケージサイズ インストールサイズ ファイル
armhf 182.8 kB378 kB [ファイル一覧]