summaryrefslogtreecommitdiff
path: root/pkgs/development/ocaml-modules/lambda-term
AgeCommit message (Collapse)Author
2025-11-13ocamlPackages.lambda-term: small cleaningVincent Laporte
2025-07-24treewide: run nixfmt 1.0.0Wolfgang Walther
2025-04-08Revert "treewide: replace `rev` with `tag`"Winter
This reverts commit 65a333600d5c88a98d674f637d092807cfc12253. This wasn't tested for correctness with something like fodwatch [0], and should not have been (self-)merged so quickly, especially without further review. It also resulted in the breakage of at least one package [1] (and that's the one we know of and was caught). A few packages that were updated in between this commit and this revert were not reverted back to using `rev`, but other than that, this is a 1:1 revert. [0]: https://codeberg.org/raphaelr/fodwatch [1]: https://github.com/NixOS/nixpkgs/pull/396904 / 758551e4587d75882aebc21a04bee960418f8ce9
2025-04-07treewide: replace `rev` with `tag`Pol Dellaiera
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
After final improvements to the official formatter implementation, this commit now performs the first treewide reformat of Nix files using it. This is part of the implementation of RFC 166. Only "inactive" files are reformatted, meaning only files that aren't being touched by any PR with activity in the past 2 months. This is to avoid conflicts for PRs that might soon be merged. Later we can do a full treewide reformat to get the rest, which should not cause as many conflicts. A CI check has already been running for some time to ensure that new and already-formatted files are formatted, so the files being reformatted here should also stay formatted. This commit was automatically created and can be verified using nix-build https://github.com/infinisil/treewide-nixpkgs-reformat-script/archive/a08b3a4d199c6124ac5b36a889d9099b4383463f.tar.gz \ --argstr baseRev b32a0943687d2a5094a6d92f25a4b6e16a76b5b7 result/bin/apply-formatting $NIXPKGS_PATH
2023-12-14ocamlPackages.lambda-term: 3.3.1 → 3.3.2Vincent Laporte
2023-02-03buildDunePackage: default to strictDeps = trueUlrik Strid
2022-12-09treewide: fix lints and remove a unneeded cmake inputArtturin
2022-10-20ocamlPackages.zed: 3.1.0 -> 3.2.0, ocamlPackages.lambdaterm: 3.2.0 -> 3.3.1 ↵Ulrik Strid
(#196362) * ocamlPackage.zed: 3.1.0 -> 3.2.0 * ocamlPackages.lambda-term: 3.2.0 -> 3.3.1 * ocamlPackages.utop: 2.9.2 -> 2.10.0 * ocamlPackages.prof_spacetime: mark as broken
2022-05-14ocamlPackages: add meta.mainProgram to many packagesMalo Bourgon
2022-03-01ocamlPackages.lambda-term: 3.1.0 → 3.2.0Vincent Laporte
And fix the attribute name that used to be “lambdaTerm”
2021-01-05ocamlPackages.lambdaTerm: 2.0.3 → 3.1.0Vincent Laporte
ocamlPackages.utop: 2.4.3 → 2.6.0
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly
2020-02-01ocamlPackages.lambdaTerm: 2.0.2 -> 2.0.3R. RyanTM
2019-08-28ocamlPackages.utop: 2.3.0 -> 2.4.1Vincent Laporte
ocamlPackages.zed: 1.6 -> 2.0.3 ocamlPackages.lambdaTerm: 1.13 -> 2.0.2
2019-08-28ocamlPackages.lambdaTerm: remove at 1.6Vincent Laporte
2018-11-07buildDunePackage: new support function; use it to refactor some OCaml ↵Théo Zimmermann
derivations
2018-09-15jbuilder: 1.0.1 -> dune: 1.1.1Vincent Laporte
2018-07-31ocamlPackages.lambdaTerm: 1.12.0 -> 1.13 (#44271)Vincent Laporte
2018-06-28ocamlPackages.lambdaTerm: remove spurious dependency to camlp4Vincent Laporte
2018-06-06ocamlPackages.lambda-term: fix installPhaseVincent Laporte
2017-12-07ocamlPackages.lambdaTerm: 1.11 -> 1.12.0Vincent Laporte
2017-10-05ocamlPackages.react: 1.2.0 -> 1.2.1Vincent Laporte
2017-07-02ocamlPackages: make lwt-3.0.0 the defaultVincent Laporte
2017-07-02ocamlPackages.lambda-term: 1.10 -> 1.11Vincent Laporte
2017-04-22ocamlPackages.lambdaTerm: use buildOcamlPatrick Mahoney
This adds the shared objects setup hook to prepare CAML_LD_LIBRARY_PATH.
2016-10-10OCaml modules: make explicit some dependencies to ocamlbuildVincent Laporte
2016-06-06lambda-term: 1.8 -> 1.10Vincent Laporte
2016-03-13Ensure that we can evaluate the platform attribute of ocaml packages.Nicolas B. Pierron
2015-01-28lambda-term: update from 1.6 to 1.8Vincent Laporte
2015-01-06ocaml-lambda-term: adds dependency to camlp4Vincent Laporte
2014-08-30add the ocaml 'lambda-term' library (terminal control)Florent Becker