 Pierre Roux
|
396f67f973
|
rocqPackages.stdlib: 9.1.0 -> 9.2.0
|
2026-02-11 07:59:16 +01:00 |
|
|
mivorasu
|
ee0866bddd
|
treewide: conform descriptions to the standards
|
2025-07-28 04:39:00 +00:00 |
|
|
Pierre RouxandVincent Laporte
|
2fcfe280b5
|
rocq-core_9_1: init at 9.1+rc1
|
2025-07-08 10:55:59 +02:00 |
|
|
Pierre RouxandVincent Laporte
|
19e4869241
|
coqPackages.*: better formatting fix
|
2025-06-30 10:10:31 +02:00 |
|
|
Pierre RouxandVincent Laporte
|
0ddb075c4d
|
coqPackages.*: fix formatting
|
2025-06-21 17:23:27 +02: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 |
|
|
Pierre Roux
|
92f87ee7ac
|
rocqPackages.stdlib: 9.0+rc1 -> 9.0.0
|
2025-03-13 16:04:42 +01:00 |
|
|
Pierre RouxandVincent Laporte
|
064a30473b
|
rocq: init at 9.0+rc1
|
2025-02-07 21:06:47 +01:00 |
|