/comms/libconcord/

	Commit message (Expand)	Author	Age	Files	Lines
*	lang/polyml: update to 5.7.1	fernape	2018-06-30	1	-4/+5
*	Fixup USE_GITHUB usage.	mat	2016-11-26	1	-2/+1
*	lang/polyml: 5.5.2 -> 5.6	pi	2016-04-16	1	-3/+4
*	Remove ${PORTSDIR}/ from dependencies, categories h, i, j, k, and l.	mat	2016-04-01	1	-1/+1
*	- Allow exposing polyml as a shared library (as required by e.g. HOL4)	danfe	2015-10-24	1	-7/+9
*	lang/polyml: depend on ffi, use pkg-plist, add motif option	swills	2014-08-01	1	-15/+11
*	lang/polyml: Upgrade version 5.5 => 5.5.2	marino	2014-07-27	1	-12/+17
*	Update the default version of GCC used in the Ports Collection from	gerald	2014-03-11	1	-0/+1
*	lang/polyml: allow staging	wg	2013-12-01	1	-6/+4
*	Add NO_STAGE all over the place in preparation for the staging support (cat: ...	bapt	2013-09-21	1	-0/+1
*	- Update to 5.5	beech	2013-03-05	1	-3/+2
*	- Fix a segfault on startup	miwi	2013-02-08	1	-5/+2
*	- Update to 5.4.1	sunpoet	2012-05-21	1	-8/+2
*	- Try to fix build on amd64/6 (untested)	pav	2010-10-20	1	-1/+7
*	- Update to 5.4	sunpoet	2010-10-16	1	-3/+3
*	- Update to 5.3	lwhsu	2010-08-22	1	-2/+5
*	Fix maintainer emailadress	arved	2010-08-09	1	-1/+1
*	- Pass maintainership to Timothy Beyer (beyert\|at\|cs.ucr.edu)	miwi	2010-02-26	1	-1/+1
*	- Update to 5.2.1	yzlin	2009-10-20	1	-1/+1
*	- Switch SourceForge ports to the new File Release System: categories startin...	amdmi3	2009-08-22	1	-2/+1
*	[MAINTAINER] lang/polyml: 5.1 -> 5.2	edwin	2008-08-15	1	-1/+1
*	- Remove USE_GCC where it can be satisfied with base compiler on following	pav	2008-07-25	1	-1/+0