Commit Graph

13 Commits

Author SHA1 Message Date
Guy Chronister
eb5893727f ocamlPackages.mirage: migrate to finalAttrs 2026-01-21 17:22:42 -06:00
Vincent Laporte
ebb14544ed ocamlPackages.mirage: 4.4.2 → 4.10.1 2025-09-29 21:20:25 +02: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
Sigmanificient
3e1227a1af pkgs/development/ocaml-modules: remove unused arguments 2024-07-16 03:54:01 +02:00
Alexis Hildebrandt
f8c4a98e8e treewide: Remove the definite article from meta.description
nix run nixpkgs#silver-searcher -- -G '\.nix$' -0l 'description.*"([Tt]he)? ' pkgs \
  | xargs -0 nix run nixpkgs#gnused -- -i '' -Ee 's/(description.*")[Tt]he (.)/\1\U\2/'
2024-06-09 23:08:46 +02:00
Vincent Laporte
eb4a64ebbd ocamlPackages.functoria: 4.3.6 → 4.4.1 2023-12-14 07:52:48 +01:00
Vincent Laporte
b0b49878bc ocamlPackages.mirage: use Dune 3 2023-02-24 15:50:53 +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
sternenseemann
caf07b0ebf ocamlPackages.mirage: reintroduce dev output
The changed dune install directive to install libraries to the dev
output was removed by mistake.
2020-12-30 17:52:00 +01:00
sternenseemann
bca81534f0 ocamlPackages.mirage: fix build by adding missing deps
Previously the mirage library/package wouldn't be built/installed
correctly due to missing deps which I now added as specified in the opam
file. While I was at it, I also enabled tests.
2020-12-29 22:47:41 +01:00
Vincent Laporte
9ca92f0a5b ocamlPackages.mirage: init at 3.9.0 2020-11-14 09:11:28 +01:00