| Age | Commit message (Expand) | Author |
|---|---|---|
| 2025-12-10 | treewide: clean up 'meta = with' pattern | Ihar Hrachyshka |
| 2025-09-16 | ocamlPackages.lambdapi: 2.6.0 → 3.0.0 | Vincent Laporte |
| 2025-02-20 | ocamlPackages.lambdapi: 2.3.1 → 2.6.0 | Vincent Laporte |
| 2024-12-10 | treewide: format all inactive Nix files | Silvan Mosberger |
| 2024-01-29 | ocamlPackages.lambdapi: use why3 built with the same version of OCaml | Vincent Laporte |
| 2023-03-20 | why3: 1.5.1 → 1.6.0; ocamlPackages.lambdapi: 2.2.1 → 2.3.1 (#220986) | Vincent Laporte |
| 2023-02-03 | ocamlPackages treewide: strictDeps all packages | Ulrik Strid |
| 2023-01-21 | treewide: switch to nativeCheckInputs | Guillaume Girol |
| 2022-09-18 | ocamlPackages.cmdliner: default to 1.1 | Vincent Laporte |
| 2022-09-11 | ocamlPackages.lambdapi: init at 2.2.1 | Ben Darwin |
 |
index : nixos/nixpkgs.git | |
| Nix Packages collection | Octavian Cerna |
| summaryrefslogtreecommitdiff |