4 commits

Author	SHA1	Message	Date
Peter Simons	ef649da119	polyml: fix bogus license attribute	2012-09-06 18:46:54 +02:00
Marco Maggesi	264c528154	Upgrade PolyML to version 5.4.1	2012-09-04 12:02:18 +02:00
Marco Maggesi	bdace03143	Update PolyML to version 5.4 ... Also enable hydra build for linux svn path=/nixpkgs/trunk/; revision=27250	2011-05-13 15:55:05 +00:00
Marco Maggesi	adbaa14548	Add expression for PolyML ... svn path=/nixpkgs/trunk/; revision=18875	2009-12-10 13:16:06 +00:00