| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2026-03-10 | rocqPackages.iris: init at 4.5.0 | 4ever2 | |
| 2026-03-09 | rocqPackages.stdpp: init at 1.13.0 | 4ever2 | |
| 2025-12-10 | treewide: clean up 'meta = with' pattern | Ihar Hrachyshka | |
| This commit was created by a combination of scripts and tools: - an ast-grep script to prefix things in meta with `lib.`, - a modified nixf-diagnose / nixf combination to remove unused `with lib;`, and - regular nixfmt. Co-authored-by: Wolfgang Walther <walther@technowledgy.de> | |||
| 2025-08-29 | coqPackages.stdpp : 1.11.0 -> 1.12.0 | damhiya | |
| 2025-07-09 | coqPackages.*: 9.0 -> 9.1 | Pierre Roux | |
| 2025-06-30 | coqPackages.*: better formatting fix | Pierre Roux | |
| 2025-06-21 | coqPackages.*: fix formatting | Pierre Roux | |
| 2025-03-14 | treewide: remove unused rec expressions | Sigmanificient | |
| 2025-01-26 | coq_9_0: init at 9.0+rc1 | Pierre Roux | |
| 2024-12-13 | Add coqPackages.stdlib | Pierre Roux | |
| 2024-12-10 | treewide: format all inactive Nix files | Silvan Mosberger | |
| After final improvements to the official formatter implementation, this commit now performs the first treewide reformat of Nix files using it. This is part of the implementation of RFC 166. Only "inactive" files are reformatted, meaning only files that aren't being touched by any PR with activity in the past 2 months. This is to avoid conflicts for PRs that might soon be merged. Later we can do a full treewide reformat to get the rest, which should not cause as many conflicts. A CI check has already been running for some time to ensure that new and already-formatted files are formatted, so the files being reformatted here should also stay formatted. This commit was automatically created and can be verified using nix-build https://github.com/infinisil/treewide-nixpkgs-reformat-script/archive/a08b3a4d199c6124ac5b36a889d9099b4383463f.tar.gz \ --argstr baseRev b32a0943687d2a5094a6d92f25a4b6e16a76b5b7 result/bin/apply-formatting $NIXPKGS_PATH | |||
| 2024-10-31 | coqPackages.stdpp: 1.10.0 → 1.11.0 | Vincent Laporte | |
| coqPackages.iris: 4.2.0 → 4.3.0 | |||
| 2024-06-09 | treewide: Remove indefinite article from meta.description | Alexis Hildebrandt | |
| nix run nixpkgs#silver-searcher -- -G '\.nix$' -0l 'description.*"[Aa]n?' pkgs \ | xargs -0 nix run nixpkgs#gnused -- -i '' -Ee 's/(description.*")[Aa]n? (.)/\1\U\2/' | |||
| 2024-04-15 | coqPackages.stdpp: 1.9.0 → 1.10.0 | Vincent Laporte | |
| coqPackages.iris: 4.1.0 → 4.2.0 | |||
| 2023-10-13 | coqPackages.stdpp: 1.8 -> 1.9, coqPackages.iris: 4.0 -> 4.1 | Léo Stefanesco | |
| 2023-03-27 | coqPackages_8_17.stdpp: init at 1.8.0 | Cyril Cohen | |
| 2023-01-21 | treewide: remove global with lib; statements in pkgs/coq-modules | Shawn8901 | |
| 2022-08-27 | coqPackages.stdpp: 1.7.0 → 1.8.0 | Vincent Laporte | |
| coqPackages.iris: 3.6.0 → 4.0.0 | |||
| 2022-06-13 | coqPackages.stdpp: enable for Coq 8.16 | Vincent Laporte | |
| 2022-02-23 | coqPackages.iris: 3.5.0 → 3.6.0 | Vincent Laporte | |
| coqPackages.stdpp: 1.6.0 → 1.7.0 | |||
| 2021-12-09 | coqPackages.stdpp: disable for Coq 8.15 | Vincent Laporte | |
| 2021-11-14 | iris: 3.4.0 -> 3.5.0; stdpp: 1.5.0 -> 1.6.0 | Léo Stefanesco | |
| 2021-10-13 | coq_8_14: init at 8.14+rc1 | Théo Zimmermann | |
| 2021-04-12 | coqPackages.stdpp: 1.4.0 → 1.5.0 | Vincent Laporte | |
| coqPackages.iris: 3.3.0 → 3.4.0 | |||
| 2021-01-09 | coqPackages: refactor | Cyril Cohen | |
| 2020-08-16 | coqPackages.stdpp: 1.2.1 → 1.4.0 | Vincent Laporte | |
| coqPackages.iris: 3.2.0 → 3.3.0 | |||
| 2019-09-06 | coqPackages.stdpp: 1.1 -> 1.2.1; coqPackages.iris: 3.1.0 -> 3.2.0 | Vincent Laporte | |
| Ensures compatibility with Coq ≥ 8.9 | |||
| 2019-02-08 | coqPackages_8_9: disable a few packages that do not build | Vincent Laporte | |
| 2018-05-15 | coqPackages.stdpp: init at 1.1 | Vincent Laporte | |
 |
index : nixos/nixpkgs.git | |
| Nix Packages collection | Octavian Cerna |
| summaryrefslogtreecommitdiff |