summaryrefslogtreecommitdiffstats
path: root/development/polyml/polyml.SlackBuild
Commit message (Collapse)AuthorAgeFilesLines
* development/polyml: Updated for version 5.5.2 + new maintainer. Antonio Hernández Blas2015-01-191-19/+9
| | | | Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
* various: Update find command to match template. dsomero2013-11-221-2/+2
| | | | Signed-off-by: dsomero <xgizzmo@slackbuilds.org>
* various: Fix SlackBuild formatting and comment nit picks. dsomero2013-11-221-5/+3
| | | | Signed-off-by: dsomero <xgizzmo@slackbuilds.org>
* development/polyml: Misc automated cleanups. David Somero2010-06-041-1/+13
| | | | Signed-off-by: David Somero <xgizzmo@slackbuilds.org>
* development/polyml: Fixed for bash4. David Somero2010-05-191-6/+2
|
* development/polyml: Added (full implementation of Standard ML) Eugene Suter2010-05-151-0/+84