summaryrefslogtreecommitdiff
path: root/pkgs/development/rocq-modules (follow)
Commit message (Expand)AuthorAgeFilesLines
* 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. Silvan Mosberger2025-04-012-51/+64
* rocqPackages.stdlib: 9.0+rc1 -> 9.0.0Pierre Roux2025-03-131-19/+5
* rocqPackages.rocq-elpi: init at 2.5.0Pierre Roux2025-02-181-0/+68
* Add rocqPackages.bignumsPierre Roux2025-02-071-0/+32
* rocq: init at 9.0+rc1Pierre Roux2025-02-071-0/+47