polyml - Fast open-source implementation of Standard ML

Property Value
Distribution FreeBSD 12
Repository FreeBSD Ports Quarterly amd64
Package filename polyml-5.7.1.txz
Package name polyml
Package version 5.7.1
Package release -
Package architecture amd64
Package type txz
Category lang
Homepage http://www.polyml.org
License LGPL21
Maintainer beyert@cs.ucr.edu
Download size 1.35 MB
Installed size 10.96 MB
Poly/ML is a full implementation of Standard ML available as
open-source. It includes a symbolic debugger which allows breakpoints
to be set and local variables to be viewed as ML values.
WWW: http://www.polyml.org
- MOTIF: off


Package Version Architecture Repository
polyml-5.7.1.txz 5.7.1 i386 FreeBSD Ports Quarterly
polyml-5.7.1.txz 5.7.1 amd64 FreeBSD Ports Latest
polyml-5.7.1.txz 5.7.1 i386 FreeBSD Ports Latest
polyml - - -


Name Value
libffi = 3.2.1_3
libffi.so.6 -


Name Value
libpolyml.so.9 -


Type URL
Mirror pkg.freebsd.org
Binary Package polyml-5.7.1.txz
Source Package lang/polyml

Install Howto

Install polyml txz package:

# pkg install polyml

See Also

Package Description
polyorb-2.11.1_5.txz CORBA, SOAP, Ada 95 Distributed System Annex middleware
polyphone-1.9_5.txz Graphical user interface for editing soundfont (sf2 and sfz) files
pongix-0.4_13.txz Free pong-like game
ponscripter-sekai-0.0.6_6.txz NScripter-like novel-game interpreter with Unicode support
ponyc-0.28.1.txz Pony language compiler
popa3d-1.0.3.txz Secure, performance, tiny POP3 daemon
popa3d-before-sendmail-1.0.3.txz Secure, performance, tiny POP3 daemon
popcheck-1.3.txz Preview and delete messages in POP3 mailbox
popfile-1.1.3_1.txz Automatic mail classification tool, acts as a POP3 proxy
poppassd-4.0_3.txz Server to allow users to change their password from within Eudora
poppler-0.78.0.txz PDF rendering library
poppler-data-0.4.9.txz Poppler encoding data
poppler-glib-0.78.0.txz GLib bindings to poppler
poppler-qt5-0.78.0.txz Qt 5 bindings to poppler
poppler-utils-0.78.0.txz Poppler's xpdf-workalike command line utilities