Skip to content
Sections
>> Trisquel >> 软件包 >> etiona >> libs >> libpolyml9
etiona  ] [  nabia  ] [  aramo  ]
[ 源代码: polyml  ]

软件包: libpolyml9 (5.7.1-1)

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.15)
    GNU C Library: Shared libraries
    同时作为一个虚包由这些包填实: libc6-udeb
  • dep: libffi6 (>= 3.0.4)
    Foreign Function Interface library runtime
  • dep: libgcc1 (>= 1:3.0)
    GCC support library
  • dep: libstdc++6 (>= 5)
    GNU Standard C++ Library v3

下载 libpolyml9

下载可用于所有硬件架构的
硬件架构 软件包大小 安装后大小 文件
amd64 178.5 kB532 kB [文件列表]
i386 191.6 kB534 kB [文件列表]