polyml-5.8-1-x86_64.pkg.tar.xz


Advertisement

Description

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

Alternatives

Package Version Architecture Repository
polyml - - -

Requires

Name Value
gmp -
libffi -

Conflicts

Name Value
mesa-demos -

Download

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:
    
    [community]
    Include = /etc/pacman.d/mirrorlist
    
  2. Install polyml xz package:
    # pacman -Sy polyml

Files

Path
/usr/
/usr/bin/poly
/usr/bin/polyc
/usr/bin/polyimport
/usr/lib/libpolymain.a
/usr/lib/libpolyml.so
/usr/lib/libpolyml.so.10
/usr/lib/libpolyml.so.10.0.0
/usr/lib/pkgconfig/polyml.pc
/usr/lib/polyml/
/usr/lib/polyml/modules/IntInfAsInt
/usr/share/
/usr/share/man/
/usr/share/man/man1/poly.1.gz
/usr/share/man/man1/polyc.1.gz
/usr/share/man/man1/polyimport.1.gz

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-0.99.8.1-18-x86_64.pkg.tar.xz 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
Advertisement
Advertisement