summaryrefslogtreecommitdiff
path: root/lang/polyml
AgeCommit message (Expand)Author
2025-09-14lang/polyml: Update to 5.9.2Wen Heping
2024-02-24lang/polyml: Moved man to share/manMuhammad Moinur Rahman
2024-01-27lang/polyml: Update to 5.9.1Wen Heping
2022-09-07Remove WWW entries moved into port MakefilesStefan Eßer
2022-09-07Add WWW entries to port MakefilesStefan Eßer
2022-07-20lang: remove 'Created by' linesTobias C. Berner
2022-05-09devel/libffi: Bump deps PORTREVISION for shlib changeKevin Bowling
2022-01-10lang/polyml: Update to 5.9Wen Heping
2021-06-10lang/polyml: Update to 5.8.2Wen Heping
2021-04-06Remove # $FreeBSD$ from Makefiles.Mathieu Arnold
2021-02-12lang/polyml: Update to 5.8.1Rainer Hurling
2020-07-04lang/polyml: Fix build after libffi updateNiclas Zeising
2020-07-04Chanse update of devel/libffiNiclas Zeising
2020-07-01Update to 5.8Li-Wen Hsu
2018-06-29lang/polyml: update to 5.7.1Fernando Apesteguía
2016-11-26Fixup USE_GITHUB usage.Mathieu Arnold
2016-04-15lang/polyml: 5.5.2 -> 5.6Kurt Jaeger
2016-04-01Remove ${PORTSDIR}/ from dependencies, categories h, i, j, k, and l.Mathieu Arnold
2015-10-23- Allow exposing polyml as a shared library (as required by e.g. HOL4)Alexey Dokuchaev
2014-07-31lang/polyml: depend on ffi, use pkg-plist, add motif optionSteve Wills
2014-07-27lang/polyml: Upgrade version 5.5 => 5.5.2John Marino
2014-03-10Update the default version of GCC used in the Ports Collection fromGerald Pfeifer
2013-12-01lang/polyml: allow stagingWilliam Grzybowski
2013-09-20Add NO_STAGE all over the place in preparation for the staging support (cat: ...Baptiste Daroussin
2013-03-04- Update to 5.5Beech Rintoul
2013-02-08- Fix a segfault on startupMartin Wilke
2012-05-21- Update to 5.4.1Sunpoet Po-Chuan Hsieh
2011-07-03- remove MD5Olli Hauer
2010-10-19- Try to fix build on amd64/6 (untested)Pav Lucistnik
2010-10-16- Update to 5.4Sunpoet Po-Chuan Hsieh
2010-08-22- Update to 5.3Li-Wen Hsu
2010-08-09Fix maintainer emailadressTilman Keskinoz
2010-02-26- Pass maintainership to Timothy Beyer (beyert|at|cs.ucr.edu)Martin Wilke
2009-10-20- Update to 5.2.1Yi-Jheng Lin
2009-08-22- Switch SourceForge ports to the new File Release System: categories startin...Dmitry Marakasov
2008-08-15[MAINTAINER] lang/polyml: 5.1 -> 5.2Edwin Groothuis
2008-07-25- Remove USE_GCC where it can be satisfied with base compiler on followingPav Lucistnik
2008-04-05- Fix build with gcc 4Rong-En Fan
2008-04-04- Update to 5.1Rong-En Fan
2007-03-20- Marked broken for amd64Martin Wilke
2007-03-11- Remove patchset (forget in last commit)Martin Wilke
2007-03-06- Update to 5.0Martin Wilke
2006-03-29- Update to 4.2.0Marcus Alves Grando
2006-01-30SHA256ifyEdwin Groothuis
2005-07-29Add polyml 4.1.3, a fast open-source implementation of Standard ML.Simon Barner
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-22 18:18:48 +0000