polyml

Poly/ML Standard ML (SML) implementation

Details

Homepage:

http://www.polyml.org/

License:

LGPL-2.1-or-later

Maintainer:

Leah Neukirchen

Built at:

2025-08-10 21:01 - 2025-08-10 21:04

Installed size:

12.73 MiB - 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}
• musl>=1.2.5_{_1}