/www/py-django-keyedcache/

	Commit message (Expand)	Author	Age	Files	Lines
*	- Allow exposing polyml as a shared library (as required by e.g. HOL4)	danfe	2015-10-24	2	-7/+12
*	lang/polyml: depend on ffi, use pkg-plist, add motif option	swills	2014-08-01	2	-15/+20
*	lang/polyml: Upgrade version 5.5 => 5.5.2	marino	2014-07-27	3	-25/+19
*	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