aboutsummaryrefslogtreecommitdiffstats
path: root/lang/polyml/distinfo
Commit message (Collapse)AuthorAgeFilesLines
* lang/polyml: update to 5.7.1fernape2018-06-301-3/+3
| | | | | | | | | Move some variables to its place. PR: 229273 Reported by: hannes@mehnert.org Approved by: tcberner (mentor) beyert@cs.ucr.edu (maintainer) Differential Revision: https://reviews.freebsd.org/D16022
* Fixup USE_GITHUB usage.mat2016-11-261-2/+3
| | | | | | | It already sets DISTNAME to a very nice unique name, do not set it yourself. Sponsored by: Absolight
* lang/polyml: 5.5.2 -> 5.6pi2016-04-161-2/+2
| | | | | | | | | | | | | Changes: - New foreign-function interface (Foreign structure). - Reimplemented debugger so that code with debugging enabled is much faster. - Improved support for Poly/ML on native Windows. - Support for MIPS and 64-bit ARM processors through the byte-code interpreter. - Various bug fixes. PR: 208783, 199566 Submitted by: Phil Eaton <philneaton95@gmail.com>, brooks Approved by: Timothy Beyer <beyert@cs.ucr.edu> (maintainer)
* lang/polyml: Upgrade version 5.5 => 5.5.2marino2014-07-271-2/+2
| | | | | | | | | | Also: * add support for system libffi * Use sed instead of patch to fix configure * Adopt modern port conventions PR: 191914 Submitted by: maintainer (Timothy Beyer)
* - Update to 5.5beech2013-03-051-2/+2
| | | | | PR: ports/176627 Submitted by: Timothy Beyer <beyert@cs.ucr.edu> (maintainer)
* - Update to 5.4.1sunpoet2012-05-211-2/+2
| | | | | | | - While I'm here, remove outdated OSVERSION check PR: ports/168180 Submitted by: Timothy Beyer <beyert@cs.ucr.edu> (maintainer)
* - remove MD5ohauer2011-07-031-1/+0
|
* - Update to 5.4sunpoet2010-10-161-3/+3
| | | | | | | | | - Revive amd64 build Changes: http://www.polyml.org/docs/ReleaseNotes.html PR: ports/151476 Submitted by: sunpoet (myself) Approved by: Timothy Beyer <beyert@cs.ucr.edu> (maintainer), pgollucci (mentor, implicit)
* - Update to 5.3lwhsu2010-08-221-3/+3
| | | | | | | - Add copyright information PR: ports/149735 Submitted by: Timothy Beyer <beyert AT cs.ucr.edu> (maintainer)
* - Update to 5.2.1yzlin2009-10-201-3/+3
| | | | | | PR: ports/139735 Submitted by: Timothy Bourke <timbob AT bigpond.com> (maintainer) Approved by: rafan (co-mentor)
* [MAINTAINER] lang/polyml: 5.1 -> 5.2edwin2008-08-151-3/+3
| | | | | PR: ports/126068 Submitted by: Timothy Bourke <timbob@bigpond.com>
* - Update to 5.1rafan2008-04-041-3/+3
| | | | | PR: ports/120997 Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer)
* - Update to 5.0miwi2007-03-071-12/+3
| | | | | PR: 109951 Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer)
* - Update to 4.2.0mnag2006-03-291-12/+12
| | | | | | | - Is not RESTRICTED anymore PR: 94667 Submitted by: maintainer
* SHA256ifyedwin2006-01-301-0/+4
| | | | Approved by: krion@
* Add polyml 4.1.3, a fast open-source implementation of Standard ML.barner2005-07-291-0/+8
PR: 83433 Submitted by: Timothy Bourke <timbob@bigpond.com>
generated by cgit (git 2.34.1) at 2025-01-16 18:10:57 +0800