Commit Graph

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