Commit Graph

17 Commits

Author SHA1 Message Date
Vincent Laporte
c54ee72442 ocamlPackages.menhir: 20250903 → 20260203
coqPackages.MenhirLib: 20250903 → 20260203

ocamlPackages.dolmen: disable tests
2026-02-16 16:52:19 +01:00
Vincent Laporte
d5a9a8d404 ocamlPackages.sail: 0.20 -> 0.20.1 (#473355) 2026-02-05 16:52:27 +00:00
Michael Daniels
f6d71bf3bd maintainers: drop genericnerdyusername
Per their profile, no nixpkgs activity since December 2023.
2026-01-12 16:49:33 -05:00
R. Ryantm
a5dc252687 ocamlPackages.sail: 0.20 -> 0.20.1 2025-12-22 16:00:29 +00: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
R. Ryantm
164a91150c ocamlPackages.sail: 0.19.1 -> 0.20 2025-10-13 20:16:58 +00:00
Weijia Wang
79b68894ff ocamlPackages.sail: 0.19 -> 0.19.1 (#423348) 2025-08-03 11:25:32 -06:00
Wolfgang Walther
5a0711127c treewide: run nixfmt 1.0.0 2025-07-24 13:55:40 +02:00
R. Ryantm
86d0bfc85d ocamlPackages.sail: 0.19 -> 0.19.1 2025-07-08 00:04:05 +00:00
Vincent Laporte
09aec857df ocamlPackages.sail: 0.18 → 0.19
sail-riscv: 0.6 → 0.7
2025-04-03 21:37:52 +02:00
Vincent Laporte
4fc61bc72c ocamlPackages.sail: 0.16 → 0.18 2025-03-12 11:44:45 +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
David McFarland
7912e83ade treewide: fix typos of enableParallelBuilding 2024-09-08 23:12:54 -03:00
Sigmanificient
3e1227a1af pkgs/development/ocaml-modules: remove unused arguments 2024-07-16 03:54:01 +02:00
Alexis Hildebrandt
755b915a15 treewide: Remove indefinite article from meta.description
nix run nixpkgs#silver-searcher -- -G '\.nix$' -0l 'description.*"[Aa]n?' pkgs \
  | xargs -0 nix run nixpkgs#gnused -- -i '' -Ee 's/(description.*")[Aa]n? (.)/\1\U\2/'
2024-06-09 23:07:45 +02:00
Vincent Laporte
a6c2d9af48 ocamlPackages.sail: 0.15 → 0.16 2023-10-20 06:40:38 +02:00
GenericNerdyUsername
fc50807657 ocamlPackages.sail: init at 0.15 2023-02-08 22:30:39 +00:00