Commit Graph

12 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
Winter
a19cd4ffb1 Revert "treewide: replace rev with tag"
This reverts commit 65a333600d.

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 / 758551e458
2025-04-08 02:57:25 -04:00
Pol Dellaiera
65a333600d treewide: replace rev with tag 2025-04-07 16:57:22 +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
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
R. Ryantm
2cb38a43ff ocamlPackages.otoml: 1.0.4 -> 1.0.5 2024-04-16 03:13:53 +00:00
Mario Rodas
5916963adf ocamlPackages.otoml: 1.0.2 -> 1.0.4
Diff: https://github.com/dmbaturin/otoml/compare/1.0.2...1.0.4

Changelog: https://github.com/dmbaturin/otoml/raw/1.0.4/CHANGELOG.md
2023-05-13 04:20:00 +00:00
Ulrik Strid
f12b9ea461 buildDunePackage: default to strictDeps = true 2023-02-03 08:59:34 +01:00
Mario Rodas
4f744eed58 ocamlPackages.otoml: 1.0.1 -> 1.0.2
https://github.com/dmbaturin/otoml/releases/tag/1.0.2
2022-10-01 17:28:53 +02:00
toastal
2fc228efaf ocamlPackages.otoml: 0.9.0 → 1.0.1; soupault: 3.2.0 → 4.0.0 (#173032)
* ocamlPackages.otoml: 0.9.0 → 1.0.1

* soupault: 3.2.0 → 4.0.0

> toastal: I'm switching the OPAM tarball link to codeberg for 4.0.0

— dmbaturin, #soupault Libera.Chat

As directed by the maintainer, the releases will now point to the
Codeberg Gitea Git forge instance. This is a win for open source code
platforms and users as they will not need to interact with a
proprietary code forge!
2022-05-14 21:14:53 +02: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
Vincent Laporte
8da4fa1e4b ocamlPackages.otoml: init at 0.9.0 2021-07-26 09:41:10 +02:00