---
name: polyml
version: 5.5
origin: lang/polyml
comment: Fast open-source implementation of Standard ML
arch: freebsd:9:x86:64
www: http://www.polyml.org
maintainer: beyert@cs.ucr.edu
prefix: /usr/local
licenselogic: single
licenses: [LGPL21]
flatsize: 12107761
desc: |
  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
categories: [lang]
files:
  /usr/local/bin/poly: 10e4f93a33741052658979d48f2bcf18c5f0cec7f2160c3360574f34bad9e92c
  /usr/local/bin/polyimport: 85be04de907d442147ff7f743cab24bb9466d123e2ea4513becec1f164fe8d28
  /usr/local/lib/libpolymain.a: 94d9b0b4317bd61b50dd2e495ea58835844f673643e26f7492e2ae0e55922518
  /usr/local/lib/libpolymain.la: 0fb6d87e16b28301b6f309635d6cb4ad639b4e8cb9a958705896a7bb78f0c374
  /usr/local/lib/libpolyml.a: 0d2bf40b3c74735a057c29a8e11b454c4fac0ccd5e46ff07e2c530e15b1c0a54
  /usr/local/lib/libpolyml.la: 105ea32780bfab6dd2c8a49e7f7ddf1881612e41211d0fe3a9f788feb4c8508c
  /usr/local/lib/libpolyml.so: '-'
  /usr/local/lib/libpolyml.so.4: e692c2517b14c576921bd2a772c2d54a2fa048b1fbd8fdca9f9d3e88d6067df1
  /usr/local/man/man1/poly.1.gz: 8c4781fbc154880a47d232f60ce612f87b1f3771744f0eea6dfabd7af1d29ec1
  /usr/local/man/man1/polyimport.1.gz: 0f1f6b54cbeff1d6086a587411153935ad585113ce80bea15badf4169abeb337
  /usr/local/share/licenses/polyml-5.5/LGPL21: 0cd47a8d5c27dde6d218a60f23bd866631ca5206250c1f4b3a854f689bd80d03
  /usr/local/share/licenses/polyml-5.5/LICENSE: 771915ce001e64e6273d8877b28a1155e8c64a0053ed0b98d93dcb4562911c92
  /usr/local/share/licenses/polyml-5.5/catalog.mk: 305e036451e976ca3aad6eaa20f73df37959e5bb31740be704f9d92cbd4e5de3
directories:
  /usr/local/share/licenses/polyml-5.5/: n
  /usr/local/share/licenses/: y
scripts:
  post-install: |
    /sbin/ldconfig -m /usr/local/lib
    cd /usr/local
  pre-deinstall: |
    /sbin/ldconfig -R
    cd /usr/local
  post-deinstall: |
    cd /usr/local
