Package polyml

Source package: polyml
Version: 5.4.1-alt4
Build time:  Feb 13, 2019, 05:59 PM
 in the task #221441
Category: Development/ML
Report package bug
Gear: https://git.altlinux.org/gears/p/polyml.git?a=tree;hb=0f6205ff19…
Home page: http://www.polyml.org
License:  LGPLv2+
Summary:  Standard ML implementation
Description: 
Poly/ML is a full implementation of Standard ML. Poly/ML supports the full version of the language as given in the "Definition of Standard ML (Revised)", generally known as ML97. As well as being extremely fast and efficient implementation of Standard ML Poly/ML provides several additional features. There is a foreign language interface which allows dynamically linked libraries to be loaded and functions within them called from ML. An X-Windows interface using Motif is available. There is also a symbolic debugger for Poly/ML.
List of rpms provided by this srpm: 
libpolyml (x86_64, i586, armh)
libpolyml-debuginfo (x86_64, i586, armh)
polyml (x86_64, i586, armh)
polyml-debuginfo (x86_64, i586, armh)
Maintainer: Yuriy Al. Shirokov
List of contributors: 
Pavel Moseev
Eugeny A. Rostovtsev
Yuriy Al. Shirokov
    1. imake
    2. libXext-devel
    3. gcc-c++
    4. libgmp-devel
    5. glibc-devel-static
    6. libopenmotif-devel
    7. rpm-build-licenses
    8. mt-st
    9. xorg-cf-files
Last changes:
Feb. 13, 2019 Pavel Moseev 5.4.1-alt4
- no return statement in the non-void function fixed (according g++8)
Aug. 30, 2012 Eugeny A. Rostovtsev 5.4.1-alt3.1
- Rebuilt with gmp 5.0.5
June 2, 2012 Yuriy Al. Shirokov 5.4.1-alt3
- wrong russian description fixed

Back to Top