» Ubuntu » 软件包 » stonking » 源代码 » interpreters » polyml

[ jammy ] [ noble ] [ questing ] [ resolute ] [ stonking ]

源码包: polyml (5.7.1-5build1) [universe]

polyml 的相关链接

Ubuntu 的资源:

维护者:

Ubuntu Developers (Mail Archive)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

Debian Science Maintainers (Mail Archive)
Jessica Clarke

It should generally not be necessary for users to contact the original maintainer.

外部的资源:

主页 [www.polyml.org]

本源码包构建了以下这些二进制包:

libpolyml-dev: development files for Poly/ML, a compiler for Standard ML
libpolyml9: runtime files for Poly/ML, a compiler for Standard ML
polyml: interpreter and interactive compiler for Standard ML
polyml-modules: modules for Poly/ML, a compiler for Standard ML

其他与 polyml 有关的软件包

完整构建时刻依赖

单独构建时刻依赖

adep: debhelper (>= 10)

helper programs for debian/rules
adep: libffi-dev

Foreign Function Interface library (development files)
adep: libltdl-dev

System independent dlopen wrapper for GNU libtool (headers)

Download polyml

文件	大小(单位: kB)	MD5 校验码
polyml_5.7.1.orig.tar.gz	7,107.8 kB	b65bfc025078a7dd8afe70e39778620c
polyml_5.7.1-5build1.debian.tar.xz	22.0 kB	8a37aff335583d3d4675cc7117301f15
polyml_5.7.1-5build1.dsc	2.2 kB	f109fbce2d6582290e3406c6e12c5339

Debian 软件包源码仓库(VCS: Git): https://salsa.debian.org/science-team/polyml.git
Debian 软件包源码仓库(可在线浏览): https://salsa.debian.org/science-team/polyml