| Name : polyml
| |
| Version : 5.9.1
| Vendor : Fedora Project
|
| Release : 3.fc40
| Date : 2024-01-26 00:59:36
|
| Group : Unspecified
| Source RPM : polyml-5.9.1-3.fc40.src.rpm
|
| Size : 8.38 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/development/rawhide/Everything/x86_64/os/Packages/p |
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
pkgconfig(polyml)
polyml
polyml(x86-64)
Requires :
