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