UbuntuUpdates.org

Package "libpolyml-dev"

Name: libpolyml-dev

Description:

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

Latest version: 5.7.1-4ubuntu1
Release: jammy (22.04)
Level: base
Repository: universe
Homepage: http://www.polyml.org

Links


Download "libpolyml-dev"


Other versions of "libpolyml-dev" in Jammy

No other version of this package is available in the Jammy release.

Changelog

There is no recent update for this package.



About   -   Send Feedback to @ubuntu_updates