» Ubuntu » Paquets » resolute (26.04LTS) » Source » interpreters » polyml

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

Paquet source : polyml (5.7.1-5build1) [universe]

Liens pour polyml

Ressources Ubuntu :

Responsable :

Ubuntu Developers (Archive du courrier électronique)

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

Original Maintainers (usually from Debian):

Debian Science Maintainers (Archive du courrier électronique)
Jessica Clarke

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

Ressources externes :

Page d'accueil [www.polyml.org]

Les paquets binaires suivants sont compilés à partir de ce paquet source :

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

Autres paquets associés à polyml

build-depends

build-depends-indep

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

Fichier	Taille (en ko)	Somme MD5
polyml_5.7.1.orig.tar.gz	7 107,8 ko	b65bfc025078a7dd8afe70e39778620c
polyml_5.7.1-5build1.debian.tar.xz	22,0 ko	8a37aff335583d3d4675cc7117301f15
polyml_5.7.1-5build1.dsc	2,2 ko	f109fbce2d6582290e3406c6e12c5339

Dépôt Debian des paquets source (VCS: Git): https://salsa.debian.org/science-team/polyml.git
Dépôt Debian des paquets source (interface web): https://salsa.debian.org/science-team/polyml