Malo Bourgon
|
f7ef6329bb
|
ocamlPackages: add meta.mainProgram to many packages
|
2 years ago |
Vincent Laporte
|
70e51d715e
|
ocamlPackages.lambda-term: 3.1.0 → 3.2.0
And fix the attribute name that used to be “lambdaTerm”
|
2 years ago |
Vincent Laporte
|
6b0396351e
|
ocamlPackages.lambdaTerm: 2.0.3 → 3.1.0
ocamlPackages.utop: 2.4.3 → 2.6.0
|
3 years ago |
Michael Reilly
|
84cf00f980
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
R. RyanTM
|
ab6f52db59
|
ocamlPackages.lambdaTerm: 2.0.2 -> 2.0.3
|
4 years ago |
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
|
5 years ago |
Théo Zimmermann
|
794158fcd5
|
buildDunePackage: new support function; use it to refactor some OCaml derivations
|
6 years ago |
Vincent Laporte
|
fc19401d67
|
jbuilder: 1.0.1 -> dune: 1.1.1
|
6 years ago |
Vincent Laporte
|
f594caa052
|
ocamlPackages.lambdaTerm: 1.12.0 -> 1.13 (#44271)
|
6 years ago |
Vincent Laporte
|
1747ec308a
|
ocamlPackages.lambdaTerm: remove spurious dependency to camlp4
|
6 years ago |
Vincent Laporte
|
10d70a2ae3
|
ocamlPackages.lambda-term: fix installPhase
|
6 years ago |
Vincent Laporte
|
d946af4601
|
ocamlPackages.lambdaTerm: 1.11 -> 1.12.0
|
7 years ago |
Vincent Laporte
|
8ad273d4f0
|
ocamlPackages.lambda-term: 1.10 -> 1.11
|
7 years ago |
Patrick Mahoney
|
d27e250627
|
ocamlPackages.lambdaTerm: use buildOcaml
This adds the shared objects setup hook to prepare
CAML_LD_LIBRARY_PATH.
|
7 years ago |
Vincent Laporte
|
cc272dc996
|
OCaml modules: make explicit some dependencies to ocamlbuild
|
8 years ago |
Vincent Laporte
|
354e589275
|
lambda-term: 1.8 -> 1.10
|
8 years ago |
Nicolas B. Pierron
|
72c6f8a140
|
Ensure that we can evaluate the platform attribute of ocaml packages.
|
8 years ago |
Vincent Laporte
|
a931de00b3
|
lambda-term: update from 1.6 to 1.8
|
9 years ago |
Vincent Laporte
|
8bc3314699
|
ocaml-lambda-term: adds dependency to camlp4
|
10 years ago |
Florent Becker
|
328469aa06
|
add the ocaml 'lambda-term' library (terminal control)
|
10 years ago |