Package Details: polyml 5.7.1-1

Git Clone URL: (read-only)
Package Base: polyml
Description: A full implementation of Standard ML (SML)
Upstream URL:
Keywords: SML
Licenses: LGPL
Submitter: None
Maintainer: soimort
Last Packager: soimort
Votes: 21
Popularity: 0.007118
First Submitted: 2008-03-06 11:05
Last Updated: 2017-11-26 21:45

Dependencies (2)

Required by (0)

Sources (1)

Latest Comments

alexmerry commented on 2016-02-17 22:16

Not at all.

xyproto commented on 2016-02-17 22:12

Mind if I adopt and move this package to [community]?

alexmerry commented on 2014-07-11 09:11

Or you can uninstall driconf and mesa-demos. I don't really want to rename the PolyML binary, because there is software that depends on it having that name (I doubt there is much software that cares what the Mesa demos are called, OTOH).

mytbk commented on 2014-07-11 01:18

And now it has version 5.5.2 in

mytbk commented on 2014-07-11 01:17

polyml now conflicts with mesa-demos (/usr/bin/poly), you need to rename the file.

alexmerry commented on 2013-09-17 21:03

Note: if you want shared libraries, you'll have to edit the PKGBUILD. Poly/ML only installs static ones by default now.

xrchz commented on 2010-04-28 10:09

Here is a PKGBUILD for the latest stable version 5.3: