Path to this page:
./
lang/polyml,
Poly/ML is an implementation of Standard ML
Branch: pkgsrc-2021Q3,
Version: 5.8.1,
Package name: polyml-5.8.1,
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: 9050a484169d130bae09ebf9da78ce94f54e8de1
RMD160: 83b59aee68eb59f07dd34229582581b273a08720
Filesize: 9614.462 KB
Version history: (Expand)
- (2021-09-28) Package has been reborn
- (2021-09-27) Package added to pkgsrc.se, version polyml-5.8.1 (created)