polyml-5.7.1-2-x86_64.pkg.tar.xz


Advertisement

Description

polyml - Standard ML compiler originally written in an experimental language called Poly

Property Value
Distribution Arch Linux
Repository Arch Linux Community x86_64
Package name polyml
Package version 5.7.1
Package release 2
Package architecture x86_64
Package type xz
Installed size 22.71 MB
Download size 2.52 MB
Official Mirror ftp5.gwdg.de
Standard ML compiler originally written in an experimental language called Poly.
Packager: Alexander Rødseth <rodseth@gmail.com>. License: LGPL

Alternatives

Package Version Architecture Repository
polyml - - -

Requires

Name Value
gmp -
libffi -

Conflicts

Name Value
mesa-demos -

Download

Type URL
Binary Package polyml-5.7.1-2-x86_64.pkg.tar.xz
Source Package unknown

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.9
/usr/lib/libpolyml.so.9.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
pony-stable-0.1.6-1-x86_64.pkg.tar.xz A simple dependency manager for the Pony language
ponyc-0.25.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-16-x86_64.pkg.tar.xz Console-based AOL Instant Messenger & IRC client
portaudio-190600_20161030-2-x86_64.pkg.tar.xz A free, cross-platform, open source, audio I/O library
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-1-any.pkg.tar.xz A web based interface used to manage mailboxes, virtual domains and aliases created for Postfix
postfwd-1.35-3-any.pkg.tar.xz Combines complex postfix restrictions in a ruleset similar to those of the most firewalls
postgis-2.5.1-1-x86_64.pkg.tar.xz Adds support for geographic objects to PostgreSQL
postgrest-0.5.0.0-78-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
povray-2:3.7.0.8-1-x86_64.pkg.tar.xz Script based raytracer for creating 3D graphics
Advertisement
Advertisement