13 commits

Author	SHA1	Message	Date
Gabriel Ebner	795c003359	isabelle: use polyml 5.6 ... Isabelle 2016 does not work with newer PolyML versions.	2017-08-07 17:21:08 +02:00
Eric Bailey	0f51a2a029	polyml: autoreconfHook -> nativeBuildInputs ... Thanks, @peterhoeg.	2017-06-18 11:41:26 -05:00
Eric Bailey	6818848fac	polyml: enable libffi and gmp ... Thanks, @Mic92.	2017-06-18 11:33:21 -05:00
Eric Bailey	478e88d13e	polyml: 5.6 -> 5.7 ... - fetchurl -> fetchFromGitHub - use `with stdenv.lib` in meta - add darwin to platforms - add yurrriq to maintainers	2017-06-17 19:31:25 -05:00
Gabriel Ebner	151fd89ba0	polyml: 5.5.2 -> 5.6	2016-02-23 14:19:04 +01:00
Jude Taylor	020bd4a723	darwin purity: polyml	2015-10-31 16:58:32 -07:00
John Wiegley	10e215a3ae	isabelle: Version 2014 building on Linux and Darwin	2014-09-30 23:15:31 -05:00
Marco Maggesi	e9e2e8ace6	PolyML expression: Factorize version number in a separate variable	2014-01-15 15:58:27 +01:00
Marco Maggesi	aa8f36e238	Update PolyML to version 5.5.1	2014-01-14 15:27:10 +01:00
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