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

Package: libpolyml-dev (5.7.1-4ubuntu1) [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
amd64 246.5 kB1,233.0 kB [list of files]
arm64 248.9 kB1,250.0 kB [list of files]
armhf 234.6 kB834.0 kB [list of files]
ppc64el 292.6 kB1,468.0 kB [list of files]
riscv64 687.9 kB5,300.0 kB [list of files]
s390x 236.1 kB1,210.0 kB [list of files]

AltStyle によって変換されたページ (->オリジナル) /