about summary refs log tree commit diff
path: root/pkgs/development/ocaml-modules/elpi
AgeCommit message (Expand)AuthorFilesLines
2023-09-01ocamlPackages.elpi: 1.16.5 → 1.17.0Pierre Roux1-2/+3
2023-08-28coqPackages_8_14.coq-elpi: fix by using old camlp5Vincent Laporte1-0/+3
2023-04-06ocamlPackages.elpi: use Dune 3Vincent Laporte1-0/+1
2023-02-22ocamlPackages.elpi: fix camlp5 dependencyVincent Laporte1-2/+2
2023-02-03ocamlPackages treewide: strictDeps all packagesUlrik Strid1-1/+4
2023-01-26treewide: remove global with lib; statements in pkgs/developmentShawn89011-6/+6
2022-08-29ocamlPackages.yojson: 1.7.0 → 2.0.2Vincent Laporte2-0/+16
2022-07-19coqPackages.coq-elpi 1.14.0 -> 1.15.1Pierre Roux1-2/+6
2022-06-08ocamlPackages.elpi: 1.15.0 → 1.15.2Vincent Laporte1-2/+4
2022-06-08ocamlPackages.elpi: 1.14.1 → 1.15.0Vincent Laporte1-6/+12
2022-05-25coqPackages: etcCyril Cohen1-4/+5
2022-05-13Revert "coqPackages: etc"Vincent Laporte1-9/+3
2022-05-12coqPackages: etcCyril Cohen1-3/+9
2022-02-16elpi: 1.13.8 -> 1.14.1Enrico Tassi1-1/+2
2021-11-13ocamlPackages.elpi: use recent version of ppxlibVincent Laporte1-2/+8
2021-10-27coqPackages.coq-elpi: 1.10 -> 1.11Cyril Cohen1-1/+2
2021-05-28elpi: 1.13.1 -> 1.13.5Enrico Tassi1-1/+2
2021-04-18elpi: 1.13.0 -> 1.13.1Enrico Tassi1-1/+2
2021-02-18elpi: 1.12.0 -> 1.13.0Cyril Cohen1-1/+2
2021-01-31ocamlPackages.ppx_deriving: 4.5 → 5.1Vincent Laporte1-2/+2
2021-01-27treewide: remove implicit use of stdenv.libBen Siraphob1-1/+1
2021-01-09coqPackages: refactorCyril Cohen1-10/+14
2020-08-28ocamlPackages.elpi: 1.11.2 -> 1.11.4Cyril Cohen1-4/+8
2020-06-04ocamlPackages.elpi: 1.10.2 -> 1.11.0Cyril Cohen1-9/+9
2020-03-03elpi: 1.7.0 -> 1.10.2; coq-elpi: 1.1 -> 1.3Cyril Cohen1-2/+2
2019-10-07elpi: 1.6.0 -> 1.7.0Marco Maggesi1-2/+2
2019-08-09elpi: 1.4.1 -> 1.6.0, and coq-elpiCyril Cohen1-2/+2
2019-06-27elpi: release 1.4.1Cyril Cohen1-22/+10
2019-05-07ocamlPackages.elpi: 1.1.0 -> 1.2.0Vincent Laporte1-2/+6
2018-10-15ocamlPackages.elpi: 1.0.5 -> 1.1.0Vincent Laporte1-2/+2
2018-10-10camlp5_transitional: remove in favor of camlp5 (strict)Théo Zimmermann1-2/+2
2018-09-27ocamlPackages.elpi: init at 1.0.5Vincent Laporte1-0/+36
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-19 19:53:51 +0000