polyml - Standard ML compiler originally written in the experimental language Poly

Property Value
Distribution Arch Linux
Repository Arch Linux Community x86_64
Package filename polyml-5.8-1-x86_64.pkg.tar.xz
Package name polyml
Package version 5.8
Package release 1
Package architecture x86_64
Package type xz
Homepage https://polyml.org/
License LGPL
Maintainer Alexander Rødseth <rodseth@gmail.com>
Download size 2.46 MB
Installed size 21.68 MB


Package Version Architecture Repository
polyml - - -


Name Value
gmp -
libffi -


Name Value
mesa-demos -


Type URL
Mirror ftp5.gwdg.de
Binary Package polyml-5.8-1-x86_64.pkg.tar.xz
Source Package polyml

Install Howto

  1. Enable the community repository on /etc/pacman.conf:
    Include = /etc/pacman.d/mirrorlist
  2. Install polyml xz package:
    # pacman -Sy polyml



See Also

Package Description
polyphone-2.1.1-1-x86_64.pkg.tar.xz A soundfont editor for quickly designing musical instruments
pony-stable-0.2.1-1-x86_64.pkg.tar.xz A simple dependency manager for the Pony language
ponyc-0.32.0-1-x86_64.pkg.tar.xz An actor model, capabilities, high performance programming language
ponymix-5-2-x86_64.pkg.tar.xz CLI PulseAudio Volume Control
ponysay-3.0.3-1-any.pkg.tar.xz cowsay reimplemention for ponies
poppler-sharp-0.0.3-4-any.pkg.tar.xz C Sharp bindings for Poppler
pork- Console-based AOL Instant Messenger & IRC client
posterazor-1.9.7-1-x86_64.pkg.tar.xz Cut an image or PDF into pieces which can be printed and assembled to a poster
postfixadmin-3.2.3-1-any.pkg.tar.xz Web based interface to manage Postfix mailboxes, virtual domains and aliases
postfwd-2.02-1-any.pkg.tar.xz Combines complex postfix restrictions in a ruleset similar to those of the most firewalls
postgis-2.5.3-1-x86_64.pkg.tar.xz Adds support for geographic objects to PostgreSQL
postgresql-ip4r-2.4.1-1-x86_64.pkg.tar.xz IPv4/v6 and IPv4/v6 range index type for PostgreSQL
postgrest-6.0.0-33-x86_64.pkg.tar.xz REST API for any Postgres database
postgrey-1.37-3-any.pkg.tar.xz a Postfix policy server implementing greylisting
pound-2.8-1-x86_64.pkg.tar.xz A reverse proxy, load balancer, and SSL wrapper