summaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules/stdlib
AgeCommit message (Collapse)Author
2026-01-13coqPackages: add coqWithPackages/coqWithPackages' functionsTom McLaughlin
2025-07-17coqPackages: fix Rocq shim for Coq >= 9Pierre Roux
2025-07-09coqPackages.*: 9.0 -> 9.1Pierre Roux
2025-07-08rocq-core_9_1: init at 9.1+rc1Pierre Roux
2025-06-30coqPackages.*: better formatting fixPierre Roux
2025-06-21coqPackages.*: fix formattingPierre Roux
2025-04-01treewide: Format all Nix filesSilvan Mosberger
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-03-13rocqPackages.stdlib: 9.0+rc1 -> 9.0.0Pierre Roux
2025-02-07coq: now a shim on top of rocq (starting with 9.0)Pierre Roux
2025-01-26coq_9_0: init at 9.0+rc1Pierre Roux
2025-01-16coqPackages.stdlib: keep compiling with masterPierre Roux
2024-12-24coq: keep compiling masterPierre Roux
2024-12-13Add coqPackages.stdlibPierre Roux