polyml - Poly/ML is an implementation of Standard ML

Property Value
Distribution NetBSD 7.0
Repository NetBSD amd64
Package filename polyml-5.7.1.tgz
Package name polyml
Package version 5.7.1
Package release -
Package architecture amd64
Package type tgz
Category lang
Homepage http://polyml.org/
License -
Maintainer -
Download size 2.27 MB
Installed size 20.03 MB
Poly/ML is Standard ML implementation fully conforming to the 1997
"Definition of Standard ML (Revised)", generally known as ML97.
Options: motif, x11


Package Version Architecture Repository
polyml-5.7.1.tgz 5.7.1 i386 NetBSD
polyml - - -


Name Value
libffi >= 3.0.11
motif >= 2.3.4nb8


Type URL
Mirror ftp.netbsd.org
Binary Package polyml-5.7.1.tgz
Source Package polyml

Install Howto

Install polyml tgz package:

# pkg_add polyml



See Also

Package Description
polysh-0.4nb2.tgz Aggregate several remote shells into one
popa3d-1.0.3.tgz Secure, reliable, performant, and small pop3 server
poppassd-4.1.0.tgz Qualcomm's password change server mainly for Eudora
poppler-0.76.1.tgz PDF rendering library
poppler-cpp-0.76.1.tgz PDF rendering library (cpp wrapper)
poppler-data-0.4.9.tgz Support files for poppler
poppler-glib-0.76.1.tgz PDF rendering library (GLib wrapper)
poppler-includes-0.76.1.tgz Poppler Xpdf includes (unsupported)
poppler-qt5-0.76.1.tgz PDF rendering library (QT5 wrapper)
poppler-utils-0.76.1.tgz PDF utilities (from poppler)
poppy-4.01nb5.tgz Client to perform simple tasks with a POP3/IMAP server
popt-1.16nb2.tgz Command line option parsing library
poptop-1.3.4nb1.tgz PPTP server with support for Microsoft VPN clients
port2pkg-1.15nb5.tgz Convert from a FreeBSD port to a NetBSD package
portaudio-18.1nb4.tgz Portable cross-platform Audio API