Package Details: polyml-fixes-git 5.9r4498.39d96a2d-1

Git Clone URL: (read-only, click to copy)
Package Base: polyml-fixes-git
Description: Poly/ML implementation of Standard ML (latest release + fixes)
Upstream URL:
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 (UTC)
Last Updated: 2021-12-27 07:55 (UTC)

Dependencies (2)

Required by (2)

Sources (1)

Latest Comments

xrchz commented on 2014-05-10 15:15 (UTC)

added staticlibs to options

xrchz commented on 2014-05-09 16:17 (UTC)

updated to 5.5.2-fixes

xrchz commented on 2013-09-17 18:18 (UTC)

updated to 5.5.1-fixes

xrchz commented on 2012-09-17 09:27 (UTC)

updated for polyml 5.5, and cleaned up PKGBUILD a little

xrchz commented on 2012-03-13 08:59 (UTC)

updated with gmp dependency