polyml

Poly/ML Standard ML (SML) implementation

---

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

---

Details

Homepage:

http://www.polyml.org/

License:

LGPL-2.1-or-later

Maintainer:

Leah Neukirchen

Built at:

2023-09-21 15:07

Source files:

https://github.com/polyml/polyml/archive/v5.9.1.tar.gz

Installed size:

22.49 MiB

Conflicts:

mesa-demos

Popularity:

1 usage in 88 reports

Provided shlibs:

libpolyml.so.14

Depending on:

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