| Age | Commit message (Expand) | Author |
|---|---|---|
| 2026-01-13 | coqPackages: add coqWithPackages/coqWithPackages' functions | Tom McLaughlin |
| 2025-07-17 | coqPackages: fix Rocq shim for Coq >= 9 | Pierre Roux |
| 2025-07-09 | coqPackages.*: 9.0 -> 9.1 | Pierre Roux |
| 2025-07-08 | rocq-core_9_1: init at 9.1+rc1 | Pierre Roux |
| 2025-06-30 | coqPackages.*: better formatting fix | Pierre Roux |
| 2025-06-21 | coqPackages.*: fix formatting | Pierre Roux |
| 2025-04-01 | treewide: Format all Nix files | Silvan Mosberger |
| 2025-03-13 | rocqPackages.stdlib: 9.0+rc1 -> 9.0.0 | Pierre Roux |
| 2025-02-07 | coq: now a shim on top of rocq (starting with 9.0) | Pierre Roux |
| 2025-01-26 | coq_9_0: init at 9.0+rc1 | Pierre Roux |
| 2025-01-16 | coqPackages.stdlib: keep compiling with master | Pierre Roux |
| 2024-12-24 | coq: keep compiling master | Pierre Roux |
| 2024-12-13 | Add coqPackages.stdlib | Pierre Roux |
 |
index : nixos/nixpkgs.git | |
| Nix Packages collection | Octavian Cerna |
| summaryrefslogtreecommitdiff |