R. RyanTM
|
ab6f52db59
|
ocamlPackages.lambdaTerm: 2.0.2 -> 2.0.3
|
2020-02-01 10:37:15 +00:00 |
|
Vincent Laporte
|
f7387ad383
|
ocamlPackages.utop: 2.3.0 -> 2.4.1
ocamlPackages.zed: 1.6 -> 2.0.3
ocamlPackages.lambdaTerm: 1.13 -> 2.0.2
|
2019-08-28 06:36:57 +00:00 |
|
Théo Zimmermann
|
794158fcd5
|
buildDunePackage: new support function; use it to refactor some OCaml derivations
|
2018-11-07 10:08:03 +01:00 |
|
Vincent Laporte
|
fc19401d67
|
jbuilder: 1.0.1 -> dune: 1.1.1
|
2018-09-15 19:32:32 +00:00 |
|
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 |
|