nixos/nixpkgs.git/pkgs/development/rocq-modules/stdlib, branch master Nix Packages collection rocqPackages.stdlib: 9.1.0 -> 9.2.0 2026-02-11T06:59:16+00:00 Pierre Roux pierre.roux@onera.fr 2026-02-10T12:35:51+00:00 396f67f97317977f4b28a94a769b6da1fecc521b 






treewide: conform descriptions to the standards
2025-07-28T04:39:00+00:00

mivorasu
221005165+mivorasu@users.noreply.github.com

2025-07-23T04:23:40+00:00

ee0866bddda29235c7c412a1596cfbe791273a81












rocq-core_9_1: init at 9.1+rc1
2025-07-08T08:55:59+00:00

Pierre Roux
pierre.roux@onera.fr

2025-07-08T07:57:23+00:00

2fcfe280b51a589f81541b12d32da046bf69bbe6












coqPackages.*: better formatting fix
2025-06-30T08:10:31+00:00

Pierre Roux
pierre.roux@onera.fr

2025-06-29T14:35:20+00:00

19e4869241080cea1a831a05c0298b61de944695












coqPackages.*: fix formatting
2025-06-21T15:23:27+00:00

Pierre Roux
pierre.roux@onera.fr

2025-06-19T10:29:43+00:00

0ddb075c4db5d065e42867f45247b3a0091c486e












treewide: Format all Nix files
2025-04-01T18:10:43+00:00

Silvan Mosberger
silvan.mosberger@moduscreate.com

2025-04-01T18:10:43+00:00

374e6bcc403e02a35e07b650463c01a52b13a7c8

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.





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.







rocqPackages.stdlib: 9.0+rc1 -> 9.0.0
2025-03-13T15:04:42+00:00

Pierre Roux
pierre.roux@onera.fr

2025-03-13T08:19:48+00:00

92f87ee7ac9fbb4e20e29d4e9c66e2f5bc7c8f55












rocq: init at 9.0+rc1
2025-02-07T20:06:47+00:00

Pierre Roux
pierre.roux@onera.fr

2024-12-23T14:36:52+00:00

064a30473b2aa7cf3b9f0346bad5a5506a9a62b0