| Age | Commit message (Expand) | Author |
|---|---|---|
| 2026-02-11 | rocqPackages.stdlib: 9.1.0 -> 9.2.0 | Pierre Roux |
| 2026-01-06 | treewide: remove remaining 'with [a-zA-Z]*lib;' from pkgs | Ihar Hrachyshka |
| 2025-09-23 | rocqPackages.parseque: enable for Rocq 9.1 | Vincent Laporte |
| 2025-07-17 | coqPackages: fix Rocq shim for Coq >= 9 | Pierre Roux |
| 2025-07-01 | rocqPackages.parseque init at 0.3.0 (#420742) | Wolfgang Meier |
 |
index : nixos/nixpkgs.git | |
| Nix Packages collection | Octavian Cerna |
| summaryrefslogtreecommitdiff |