polyml

Poly/ML Standard ML (SML) implementation

Details

Homepage:

http://www.polyml.org/

License:

LGPL-2.1-or-later

Maintainer:

Leah Neukirchen

Built at:

2023-09-21 14:59 - 2023-09-21 15:07

Source files:

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

Installed size:

12.69 MiB - 22.49 MiB

Conflicts:

mesa-demos

Popularity:

1 usage in 86 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}
• musl>=1.1.24_{_7}