Path to this page:
./
lang/polyml,
Poly/ML is an implementation of Standard ML
Branch: pkgsrc-2018Q3,
Version: 5.7,
Package name: polyml-5.7,
Maintainer: asauPoly/ML is Standard ML implementation fully conforming to the 1997
"Definition of Standard ML (Revised)", generally known as ML97.
Package options: motif, x11
Master sites:
SHA1: 1de8f4f2a248b1e18cd4581960d3a73d98525ba6
RMD160: 725f075ac9df44d2ba7d86de83246962a20c9904
Filesize: 7195.238 KB
Version history: (Expand)
- (2018-10-22) Package added to pkgsrc.se, version polyml-5.7 (created)