aboutsummaryrefslogtreecommitdiff
path: root/lang/polyml/files
Commit message (Expand)AuthorAgeFilesLines
* lang/polyml: add powerpc64* supportPiotr Kubaj2026-07-091-0/+13
* lang/polyml: Update to 5.8.1Rainer Hurling2021-02-123-28/+11
* lang/polyml: Fix build after libffi updateNiclas Zeising2020-07-041-0/+14
* Update to 5.8Li-Wen Hsu2020-07-011-0/+14
* lang/polyml: Upgrade version 5.5 => 5.5.2John Marino2014-07-271-11/+0
* - Fix a segfault on startupMartin Wilke2013-02-081-0/+11
* - Update to 5.4Sunpoet Po-Chuan Hsieh2010-10-161-11/+0
* - Update to 5.3Li-Wen Hsu2010-08-221-0/+11
* - Update to 5.2.1Yi-Jheng Lin2009-10-201-20/+0
* [MAINTAINER] lang/polyml: 5.1 -> 5.2Edwin Groothuis2008-08-151-3/+12
* - Fix build with gcc 4Rong-En Fan2008-04-051-0/+11
* - Remove patchset (forget in last commit)Martin Wilke2007-03-114-68/+0
* - Update to 4.2.0Marcus Alves Grando2006-03-296-118/+33
* Add polyml 4.1.3, a fast open-source implementation of Standard ML.Simon Barner2005-07-298-0/+153