Commit Graph

18 Commits

Author SHA1 Message Date
Vincent Laporte
6b0396351e ocamlPackages.lambdaTerm: 2.0.3 → 3.1.0
ocamlPackages.utop: 2.4.3 → 2.6.0
2021-01-05 18:23:20 +01:00
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
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