26 Commits

Author SHA1 Message Date
Yifei Sun 13b98ceb6d coqPackages.corn: modernize mkCoqDerivation release hash format 2026-06-17 21:53:12 +02: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
Silvan Mosberger 374e6bcc40 treewide: Format all Nix files
Format all Nix files using the officially approved formatter,
making the CI check introduced in the previous commit succeed:

  nix-build ci -A fmt.check

This is the next step of the of the [implementation](https://github.com/NixOS/nixfmt/issues/153)
of the accepted [RFC 166](https://github.com/NixOS/rfcs/pull/166).

This commit will lead to merge conflicts for a number of PRs,
up to an estimated ~1100 (~33%) among the PRs with activity in the past 2
months, but that should be lower than what it would be without the previous
[partial treewide format](https://github.com/NixOS/nixpkgs/pull/322537).

Merge conflicts caused by this commit can now automatically be resolved while rebasing using the
[auto-rebase script](https://github.com/NixOS/nixpkgs/tree/8616af08d915377bd930395f3b700a0e93d08728/maintainers/scripts/auto-rebase).

If you run into any problems regarding any of this, please reach out to the
[formatting team](https://nixos.org/community/teams/formatting/) by
pinging @NixOS/nix-formatting.
2025-04-01 20:10:43 +02:00
Sigmanificient 91d5ab3ae4 treewide: remove unused rec expressions 2025-03-14 05:15:05 +01:00
Pierre Roux 297c1be31e coqPackages.corn: 8.19 -> 8.20 2025-02-12 13:03:19 +01:00
Pierre Roux 2444d7872a coqPackages.corn: missing coq-elpi dependency for master (> 8.19.0) 2025-01-18 17:08:01 +01:00
Pierre Roux b1d65bff40 Add missing mlPlugin
They now seem necessary with Coq master (future Rocq 9.0),
maybe linked to the now mandatory use of ocamlfind to load plugins.
2025-01-18 17:08:01 +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 https://github.com/infinisil/treewide-nixpkgs-reformat-script/archive/a08b3a4d199c6124ac5b36a889d9099b4383463f.tar.gz \
      --argstr baseRev b32a094368
    result/bin/apply-formatting $NIXPKGS_PATH
2024-12-10 20:26:33 +01:00
Pierre Roux 971ef0c694 coq_8_20: init at 8.20+rc1 (#323105) 2024-06-28 15:47: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 c82a0a78f6 coqPackages.math-classes: 8.18.0 → 8.19.0
coqPackages.corn: 8.18.0 → 8.19.0
2024-04-26 11:18:25 +02:00
Pierre Roux 7c0435d86d Bump a few things compiling with Coq 8.19 2023-12-19 20:20:53 +01:00
Artturin 20591326aa treewide: remove unnecessary patching of configure script
The configure phase of `stdenv` now runs `patchShebangs` on
`configureScript`.

Did not remove `patchShebangs` in packages which override `configurePhase`
2023-11-25 18:16:12 +02:00
Vincent Laporte b845260c90 coqPackages.corn: 8.16.0 → 8.18.0 2023-10-25 07:56:54 +02:00
Vincent Laporte 4a6b131836 coqPackages.corn: enable for Coq 8.17 2023-05-31 11:46:24 +02:00
Shawn8901 4dcb03a5c3 treewide: remove global with lib; statements in pkgs/coq-modules 2023-01-21 23:19:48 +01:00
Vincent Laporte e2abc215de coqPackages.corn: 8.13.0 → 8.16.0 2022-09-19 13:05:52 +02:00
Théo Zimmermann 075b606ef9 coqPackages.corn: mark as compatible with Coq 8.15 2022-01-25 12:59:07 +01:00
Théo Zimmermann 1eebd96344 coqPackages.corn: c366d3f01ec1812b145117a4da940518b092d3a6 -> 8.13.0
Fix to use a released version.
2021-09-08 13:15:48 +02:00
Lars Rasmusson 23ea64cd81 coqPackages.corn: 8.12.0 → 8.13.0 2021-07-28 12:53:29 +02:00
Vincent Laporte c174292ec7 coqPackages.corn: 8.8.1 → 8.12.0 2021-01-28 10:28:51 +01:00
Cyril Cohen 9ffd16b385 coqPackages: refactor 2021-01-09 11:56:17 +01:00
Michael Reilly 84cf00f980 treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
Robin Gloster 2157dcd141 treewide: installFlags is a list 2019-12-30 13:22:43 +01:00
Vincent Laporte b72daf7117 coq: init at 8.10+β1 2019-05-15 10:30:03 +02:00
Vincent Laporte 2b66c286be coqPackages.corn: init at 8.8.1 2018-12-10 07:56:32 +00:00