Package Details: polyml-fixes-git 5.7.1r3215.44b7b88e-1

Git Clone URL: https://aur.archlinux.org/polyml-fixes-git.git (read-only)
Package Base: polyml-fixes-git
Description: Poly/ML implementation of Standard ML (latest release + fixes)
Upstream URL: http://polyml.org
Licenses: LGPL
Conflicts: polyml, polyml-git, polyml-svn
Provides: polyml, polyml-git
Replaces: polyml-svn
Submitter: xrchz
Maintainer: xrchz
Last Packager: xrchz
Votes: 5
Popularity: 0.000000
First Submitted: 2015-08-11 23:14
Last Updated: 2017-12-17 12:01

Dependencies (2)

Required by (2)

Sources (1)

Latest Comments

xrchz commented on 2015-08-13 21:07

See https://aur.archlinux.org/packages/polyml-fixes-git/ for future updates.

xrchz commented on 2014-05-10 15:15

added staticlibs to options

xrchz commented on 2014-05-09 16:17

updated to 5.5.2-fixes

xrchz commented on 2013-09-17 18:18

updated to 5.5.1-fixes

xrchz commented on 2012-09-17 09:27

updated for polyml 5.5, and cleaned up PKGBUILD a little

xrchz commented on 2012-03-13 08:59

updated with gmp dependency