aboutsummaryrefslogtreecommitdiffstats
path: root/lang/polyml
Commit message (Expand)AuthorAgeFilesLines
* Remove ${PORTSDIR}/ from dependencies, categories h, i, j, k, and l.mat2016-04-011-1/+1
* - Allow exposing polyml as a shared library (as required by e.g. HOL4)danfe2015-10-242-7/+12
* lang/polyml: depend on ffi, use pkg-plist, add motif optionswills2014-08-012-15/+20
* lang/polyml: Upgrade version 5.5 => 5.5.2marino2014-07-273-25/+19
* Update the default version of GCC used in the Ports Collection fromgerald2014-03-111-0/+1
* lang/polyml: allow stagingwg2013-12-011-6/+4
* Add NO_STAGE all over the place in preparation for the staging support (cat: ...bapt2013-09-211-0/+1
* - Update to 5.5beech2013-03-052-5/+4
* - Fix a segfault on startupmiwi2013-02-082-5/+13
* - Update to 5.4.1sunpoet2012-05-212-10/+4
* - remove MD5ohauer2011-07-031-1/+0
* - Try to fix build on amd64/6 (untested)pav2010-10-201-1/+7
* - Update to 5.4sunpoet2010-10-163-17/+6
* - Update to 5.3lwhsu2010-08-223-5/+19
* Fix maintainer emailadressarved2010-08-091-1/+1
* - Pass maintainership to Timothy Beyer (beyert|at|cs.ucr.edu)miwi2010-02-261-1/+1
* - Update to 5.2.1yzlin2009-10-203-24/+4
* - Switch SourceForge ports to the new File Release System: categories startin...amdmi32009-08-221-2/+1
* [MAINTAINER] lang/polyml: 5.1 -> 5.2edwin2008-08-153-7/+16
* - Remove USE_GCC where it can be satisfied with base compiler on followingpav2008-07-251-1/+0
* - Fix build with gcc 4rafan2008-04-051-0/+11
* - Update to 5.1rafan2008-04-042-7/+7
* - Marked broken for amd64miwi2007-03-211-0/+1
* - Remove patchset (forget in last commit)miwi2007-03-114-68/+0
* - Update to 5.0miwi2007-03-073-103/+19
* - Update to 4.2.0mnag2006-03-298-172/+74
* SHA256ifyedwin2006-01-301-0/+4
* Add polyml 4.1.3, a fast open-source implementation of Standard ML.barner2005-07-2912-0/+290
generated by cgit (git 2.34.1) at 2024-11-27 14:12:45 +0800