- Name: polyml
- Version: 5.2.1
- Release: 3.fc12
- Epoch:
- Group: Development/Languages
- License: LGPLv2+
- Url: http://www.polyml.org
- Summary: Poly/ML compiler and runtime system
- Architecture: x86_64
- Size: 6665329
- Distribution: Koji
- Vendor: Fedora Project
- Packager: Fedora Project
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.
- OptFlags: -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m64 -mtune=generic
- Cookie:
- Buildhost: xenbuilder4.fedora.phx.redhat.com
Sources packages:
Other version of this rpm: