Vincent Laporte
|
f594caa052
|
ocamlPackages.lambdaTerm: 1.12.0 -> 1.13 (#44271)
|
2018-07-31 23:30:16 +02:00 |
|
Vincent Laporte
|
1747ec308a
|
ocamlPackages.lambdaTerm: remove spurious dependency to camlp4
|
2018-06-28 07:16:49 +00:00 |
|
Vincent Laporte
|
10d70a2ae3
|
ocamlPackages.lambda-term: fix installPhase
|
2018-06-06 07:14:28 +00:00 |
|
Vincent Laporte
|
d946af4601
|
ocamlPackages.lambdaTerm: 1.11 -> 1.12.0
|
2017-12-07 07:21:32 +01:00 |
|
Vincent Laporte
|
8ad273d4f0
|
ocamlPackages.lambda-term: 1.10 -> 1.11
|
2017-07-02 12:56:56 +00:00 |
|
Patrick Mahoney
|
d27e250627
|
ocamlPackages.lambdaTerm: use buildOcaml
This adds the shared objects setup hook to prepare
CAML_LD_LIBRARY_PATH.
|
2017-04-22 13:36:23 -05:00 |
|
Vincent Laporte
|
cc272dc996
|
OCaml modules: make explicit some dependencies to ocamlbuild
|
2016-10-10 19:18:07 +02:00 |
|
Vincent Laporte
|
354e589275
|
lambda-term: 1.8 -> 1.10
|
2016-06-06 19:13:18 +02:00 |
|
Nicolas B. Pierron
|
72c6f8a140
|
Ensure that we can evaluate the platform attribute of ocaml packages.
|
2016-03-13 19:08:26 +00:00 |
|
Vincent Laporte
|
a931de00b3
|
lambda-term: update from 1.6 to 1.8
|
2015-01-28 12:03:25 +01:00 |
|
Vincent Laporte
|
8bc3314699
|
ocaml-lambda-term: adds dependency to camlp4
|
2015-01-06 11:05:30 +01:00 |
|
Florent Becker
|
328469aa06
|
add the ocaml 'lambda-term' library (terminal control)
|
2014-08-30 19:37:15 +04:00 |
|