summaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules/ExtLib
AgeCommit message (Collapse)Author
2026-03-30coqPackages.ExtLib: 0.13.0 → 0.13.1Vincent Laporte
2025-10-05treewide: remove redundant parenthesesWolfgang Walther
Auto-fixed by nixf-diagnose.
2025-07-09coqPackages.*: 9.0 -> 9.1Pierre 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-14treewide: remove unused rec expressionsSigmanificient
2025-01-26coq_9_0: init at 9.0+rc1Pierre Roux
2024-12-13Add coqPackages.stdlibPierre Roux
2024-12-12coqPackages.ExtLib: 0.12.2 → 0.13.0Vincent Laporte
2024-11-07coqPackages.ExtLib: 0.12.1 → 0.12.2Vincent Laporte
Rename package from `coq-ext-lib` to `ExtLib`.