Commit Graph

15 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
Guy Chronister
0469a26ef4 ocamlPackages.dolmen: migrate to finalAttrs 2026-01-31 14:37:11 +00: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
8e2b735ee0 alt-ergo: 2.5.4 → 2.6.0
ocamlPackages.dolmen: 0.9 → 0.10
2024-09-26 07:32:38 +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
fe16955be7 ocamlPackages.dolmen: 0.6 → 0.9 2023-09-20 06:57:49 +02:00
Ulrik Strid
f12b9ea461 buildDunePackage: default to strictDeps = true 2023-02-03 08:59:34 +01:00
Ulrik Strid
a13cdfe520 ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs
To keep this for the future we also strictDeps where possible, including for janePackages, topkg, oasis and ocamlbuild.
This makes some closures significantly smaller and makes cross compilation easier
2022-02-24 14:39:27 +01:00
Mario Rodas
1e18ed8a5c ocamlPackages.menhirLib: 20211012 -> 20211128 (#148594) 2021-12-10 07:42:49 +01:00
Vincent Laporte
da4eadf384 ocamlPackages.dolmen: 0.2 → 0.6 2021-08-02 07:53:11 +02:00
Vincent Laporte
5ca9831cb1 ocamlPackages.menhir: 20190626 → 20210419
ocamlPackages.menhirLib: init at 20210419
ocamlPackages.menhirSdk: init at 20210419
2021-06-05 13:38:01 +02:00
zowoq
8488ebab05 ocamlPackages.*: use spaces for indentation 2021-01-21 10:30:13 +10:00
sternenseemann
4e42cac49d ocamlPackages: stdenv.lib → lib
This change was produced by searching for remaining occurrences of
stdenv.lib and replacing them manually.

Reference #108938.
2021-01-12 16:33:18 +01:00
Merijn Broeren
133103d709 treewide: replace make/build/configure/patchFlags with nix lists 2019-12-30 12:58:11 +01:00
Vincent Laporte
23894b77a7 ocamlPackages.dolmen: init at 0.2
dolmen is an OCaml library providing clean and flexible parsers for input languages

Homepage: https://github.com/Gbury/dolmen
2017-01-28 17:40:48 +00:00