» Ubuntu » Packages » jammy (22.04LTS) » libdevel » libpolyml-dev
jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]
[ Source: polyml  ]

Package: libpolyml-dev (5.7.1-4ubuntu1) [ports] [universe]

Links for libpolyml-dev

Screenshot

Ubuntu Resources:

Download Source Package polyml:

Maintainer:

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

Original Maintainers (usually from Debian):

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

External Resources:

Similar packages:

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

Other Packages Related to libpolyml-dev

  • depends
  • recommends
  • suggests
  • enhances
  • dep: libpolyml9 (= 5.7.1-4ubuntu1)
    runtime files for Poly/ML, a compiler for Standard ML

Download libpolyml-dev

Download for all available architectures
Architecture Package Size Installed Size Files
ppc64el 292.6 kB1,468.0 kB [list of files]