[ bullseye ] [ bookworm ] [ sid ] [ experimental ]

ソースパッケージ: polyml (5.7.1-5)

polyml に関するリンク

Debian の資源:

メンテナ:

外部の資源:

ホームページ [www.polyml.org]

以下のバイナリパッケージがこのソースパッケージからビルドされています。

libpolyml-dev: Standard ML 用のコンパイラ、Poly/ML 開発用ファイル
libpolyml9: Standard ML 用のコンパイラ、Poly/ML 用ランタイムファイル
polyml: 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-5.dsc	2.1 kB	14040a0f593c2cb17961fb99bbfe7a76
polyml_5.7.1.orig.tar.gz	7,107.8 kB	b65bfc025078a7dd8afe70e39778620c
polyml_5.7.1-5.debian.tar.xz	21.9 kB	9f8424c1b7649e09496c3d389c3ae4ae

Debian パッケージソースリポジトリ (VCS: Git): https://salsa.debian.org/science-team/polyml.git
Debian パッケージソースリポジトリ (ブラウザで表示可能): https://salsa.debian.org/science-team/polyml