asau 1c8e64c7dd Update to Poly/ML 5.6. ... Changes include major improvements of FFI.		2016-03-01 19:50:10 +00:00
..
patches	Update to Poly/ML 5.6.	2016-03-01 19:50:10 +00:00
DESCR
distinfo	Update to Poly/ML 5.6.	2016-03-01 19:50:10 +00:00
Makefile	Update to Poly/ML 5.6.	2016-03-01 19:50:10 +00:00
MESSAGE
options.mk
PLIST	Update to Poly/ML 5.5.2	2014-09-13 18:23:38 +00:00