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