Search Criteria
Package Details: polyml-fixes-git 5.7.1r3215.44b7b88e-1
Git Clone URL: | https://aur.archlinux.org/polyml-fixes-git.git (read-only, click to copy) |
---|---|
Package Base: | polyml-fixes-git |
Description: | Poly/ML implementation of Standard ML (latest release + fixes) |
Upstream URL: | http://polyml.org |
Licenses: | |
Conflicts: | |
Provides: | |
Replaces: | |
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)
- gmp (gmp-hg, scipoptsuite, scipoptsuite-bin)
- git (git-git) (make)
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