Commit Graph

12 Commits

Author SHA1 Message Date
Guy Chronister
df0dd0a098 ocamlPackages.lambdapi: migrate to finalAttrs 2026-05-12 13:36:41 -05:00
Vincent Laporte
e4e639ce69 ocamlPackages.lambdapi: compatibility with cmdliner 2 2026-02-27 08:00:22 +01:00
Ihar Hrachyshka
567e8dfd8e treewide: clean up 'meta = with' pattern
This commit was created by a combination of scripts and tools:
- an ast-grep script to prefix things in meta with `lib.`,
- a modified nixf-diagnose / nixf combination to remove unused `with
lib;`, and
- regular nixfmt.

Co-authored-by: Wolfgang Walther <walther@technowledgy.de>
2025-12-10 18:09:49 +01:00
Vincent Laporte
f7fa6b751b ocamlPackages.lambdapi: 2.6.0 → 3.0.0
ocamlPackages.pratter: 3.0.0 → 5.0.1
2025-09-16 06:18:31 +02:00
Vincent Laporte
73695f486b ocamlPackages.lambdapi: 2.3.1 → 2.6.0
ocamlPackages.pratter: 2.0.0 → 3.0.0
2025-02-20 07:26:13 +01:00
Silvan Mosberger
4f0dadbf38 treewide: format all inactive Nix files
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 a08b3a4d19.tar.gz \
      --argstr baseRev b32a094368
    result/bin/apply-formatting $NIXPKGS_PATH
2024-12-10 20:26:33 +01:00
Vincent Laporte
b4c953947f ocamlPackages.lambdapi: use why3 built with the same version of OCaml 2024-01-29 09:40:12 +01:00
Vincent Laporte
e12230e716 why3: 1.5.1 → 1.6.0; ocamlPackages.lambdapi: 2.2.1 → 2.3.1 (#220986)
why3: 1.5.1 → 1.6.0
ocamlPackages.lambdapi: 2.2.1 → 2.3.1

Co-authored-by: Weijia Wang <9713184+wegank@users.noreply.github.com>
2023-03-20 20:45:47 +01:00
Ulrik Strid
c53a63adf1 ocamlPackages treewide: strictDeps all packages 2023-02-03 08:59:34 +01:00
Guillaume Girol
33afbf39f6 treewide: switch to nativeCheckInputs
checkInputs used to be added to nativeBuildInputs. Now we have
nativeCheckInputs to do that instead. Doing this treewide change allows
to keep hashes identical to before the introduction of
nativeCheckInputs.
2023-01-21 12:00:00 +00:00
Vincent Laporte
af34e3be8c ocamlPackages.cmdliner: default to 1.1
ocamlPackages.alcotest: 1.5.0 → 1.6.0

ocamlPackages.crowbar: 0.2 → 0.2.1

ocamlPackages.dune-release: 1.5.1 → 1.6.2

ocamlPackages.functoria: 3.1.1 → 4.2.0

ocamlPackages.mirage: 3.10.7 → 4.2.0

ocamlPackages.irmin-pack: disable checks

ocamlPackages.mdx: disable checks

ocamlPackages.git-unix: mark as broken
2022-09-18 15:03:10 +02:00
Ben Darwin
d106101806 ocamlPackages.lambdapi: init at 2.2.1 2022-09-11 15:54:45 +02:00