asau d4fd6b573b The package doesn't require GMP, turn it off, provide option instead.		2012-06-15 09:20:28 +00:00
..
patches	Update to Poly/ML 5.4.1	2012-03-22 20:48:43 +00:00
DESCR
distinfo	Update to Poly/ML 5.4.1	2012-03-22 20:48:43 +00:00
Makefile	The package doesn't require GMP, turn it off, provide option instead.	2012-06-15 09:20:28 +00:00
MESSAGE
options.mk	The package doesn't require GMP, turn it off, provide option instead.	2012-06-15 09:20:28 +00:00
PLIST