polyml

Poly/ML Standard ML (SML) implementation

---

Build for x86_64-glibc, version 5.9.2_{_1}. Builds for all architectures.

---

Details

Homepage:

http://www.polyml.org/

License:

LGPL-2.1-or-later

Maintainer:

Leah Neukirchen

Built at:

2025-08-10 21:03

Installed size:

22.58 MiB

Conflicts:

mesa-demos

Provides:

• cmd:poly-5.9.2_{_1}
• cmd:polyc-5.9.2_{_1}
• cmd:polyimport-5.9.2_{_1}

Popularity:

No usages in 122 reports

Provided shlibs:

libpolyml.so.16

Depending on:

• glibc>=2.41_{_1}
• gmp>=5.0.1_{_1}
• libgcc>=4.4.0_{_1}
• libstdc++>=4.4.0_{_1}