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 |
|