Subject: CVS commit: pkgsrc/lang/polyml
From: Aleksej Saushev
Date: 2012-06-15 11:20:28
Message id: 20120615092028.EFF2C175DD@cvs.netbsd.org

Log Message:
The package doesn't require GMP, turn it off, provide option instead.

Files:
RevisionActionfile
1.5modifypkgsrc/lang/polyml/Makefile
1.2modifypkgsrc/lang/polyml/options.mk