nixos/nixpkgs.git/pkgs/development/coq-modules/stdlib, branch master Nix Packages collection coqPackages: add coqWithPackages/coqWithPackages' functions 2026-01-14T07:43:00+00:00 Tom McLaughlin tom@codedown.io 2025-09-19T00:53:09+00:00 a776193f6bc7a9bc8c21ebb35e2e52e542cf3ea8 






coqPackages: fix Rocq shim for Coq >= 9
2025-07-17T13:59:09+00:00

Pierre Roux
pierre.roux@onera.fr

2025-07-16T06:54:13+00:00

151a2eced20fc3ced498e2314cce33487478bf75












coqPackages.*: 9.0 -> 9.1
2025-07-09T05:27:19+00:00

Pierre Roux
pierre.roux@onera.fr

2025-07-08T11:52:31+00:00

6bb4f60316f63f10779a512bdfa7cacd7893a239












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












coq: now a shim on top of rocq (starting with 9.0)
2025-02-07T20:06:47+00:00

Pierre Roux
pierre.roux@onera.fr

2024-12-23T15:58:04+00:00

b34fef3268597e3f4b42364914cb6178569dbe5f












coq_9_0: init at 9.0+rc1
2025-01-26T15:32:07+00:00

Pierre Roux
pierre.roux@onera.fr

2025-01-24T16:13:12+00:00

c683a77656bfb77a8ad392a08021c2be736af250