summaryrefslogtreecommitdiff
path: root/pkgs/development/ocaml-modules/pratter
AgeCommit message (Expand)Author
2025-12-10treewide: clean up 'meta = with' patternIhar Hrachyshka
2025-09-16ocamlPackages.lambdapi: 2.6.0 → 3.0.0Vincent Laporte
2025-02-20ocamlPackages.lambdapi: 2.3.1 → 2.6.0Vincent Laporte
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt
2023-04-05ocamlPackages.pratter: use Dune 3Vincent Laporte
2023-02-03ocamlPackages treewide: strictDeps all packagesUlrik Strid
2023-01-21treewide: switch to nativeCheckInputsGuillaume Girol
2022-09-11ocamlPackages.pratter: init at 2.0.0Ben Darwin