| Name : polyml
| |
| Version : 5.9
| Vendor : Fedora Project
|
| Release : 6.fc39
| Date : 2023-07-21 08:10:36
|
| Group : Unspecified
| Source RPM : polyml-5.9-6.fc39.src.rpm
|
| Size : 8.57 MB
| |
| Packager : Fedora Project
| |
| Summary : Poly/ML compiler and runtime system
|
Description :
Poly/ML is a full implementation of Standard ML available as
open-source. This release supports the ML97 version of the language
and the Standard Basis Library.
|
RPM found in directory: /vol/rzm3/linux-fedora-buffet/linux/releases/39/Everything/x86_64/os/Packages/p |
