[MacPorts] #17828: new polyml port
MacPorts
noreply at macports.org
Tue Dec 30 08:47:29 PST 2008
#17828: new polyml port
-------------------------------------+--------------------------------------
Reporter: ian.grant@… | Owner: macports-tickets@…
Type: enhancement | Status: closed
Priority: Normal | Milestone: Port Submissions
Component: ports | Version: 1.7.0
Resolution: invalid | Keywords:
Port: |
-------------------------------------+--------------------------------------
Changes (by ram@…):
* status: new => closed
* resolution: => invalid
Comment:
Looks like theres already a `polyml` port:
{{{
$ port info polyml
polyml @5.2.1 (lang, ml)
Variants: universal
Poly/ML is an extremely fast and efficient implementation of Standard ML.
Program state can be saved in a memory-mapped persistent store. There are
numerous addon libraries available.
Homepage: http://www.polyml.org/
Library Dependencies: XFree86
Platforms: darwin
Maintainers: mww at macports.org
$
}}}
--
Ticket URL: <http://trac.macports.org/ticket/17828#comment:1>
MacPorts <http://www.macports.org/>
Ports system for Mac OS
More information about the macports-tickets
mailing list