about summary refs log tree commit diff
path: root/pkgs/development/coq-modules/coq-elpi
AgeCommit message (Expand)AuthorFilesLines
2024-06-25coqPackages.coq-elpi: avoid top-level `with ...;`Philip Taron1-3/+3
2024-06-09treewide: Remove ending period from meta.descriptionAlexis Hildebrandt1-1/+1
2024-01-12coqPackages.hierarchy-builder: 1.5.0 -> 1.7.0 (#280269)Cyril Cohen1-2/+3
2024-01-02coqPackages.coq-elpi: 1.19.0 -> 2.0.1Pierre Roux1-0/+3
2023-09-04coq_8_18: init at 8.18+rc1Vincent Laporte1-0/+3
2023-09-01ocamlPackages.elpi: 1.16.5 → 1.17.0Pierre Roux1-2/+2
2023-08-29coqPackages.coq-elpi: 1.17.0 → 1.18.0Vincent Laporte1-1/+2
2023-03-09coqPackages: various 8.16 -> 8.17Pierre Roux1-0/+3
2023-02-28coqPackages.coq-elpi: propagate findlibVincent Laporte1-1/+1
2022-10-12coqPackages.coq-elpi: disable OCaml warningsVincent Laporte1-0/+2
2022-09-29coqPackages.hierarchy-builder: 1.3.0 -> 1.4.0Cyril Cohen1-1/+2
2022-07-19coqPackages.coq-elpi 1.14.0 -> 1.15.1Pierre Roux1-0/+3
2022-06-08coqPackages.coq-elpi: 1.13.0 → 1.14.0Vincent Laporte1-3/+4
2022-05-25coqPackages: etcCyril Cohen1-2/+2
2022-05-13Revert "coqPackages: etc"Vincent Laporte1-2/+2
2022-05-12coqPackages: etcCyril Cohen1-2/+2
2022-02-25coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps ...Ulrik Strid1-2/+1
2022-02-16coq-elpi: 1.12.1 -> 1.13.0Enrico Tassi1-2/+3
2022-02-02Adapt to Coq 8.15 and MathCOmp 1.14Pierre Roux1-0/+3
2021-10-27coqPackages.coq-elpi: 1.10 -> 1.11Cyril Cohen1-3/+7
2021-05-28coq-elpi: clarify licenseEnrico Tassi1-1/+1
2021-05-28coq-elpi: 1.9.7 -> 1.10.1Enrico Tassi1-2/+3
2021-04-18coq-elpi: 1.6.2 -> 1.6.3Enrico Tassi1-1/+3
2021-04-18coq-elpi: 1.8.2 -> 1.8.3Enrico Tassi1-1/+3
2021-04-18coq-elpi: 1.9.5 -> 1.9.7Enrico Tassi1-2/+3
2021-04-12coq-elpi: 1.6.1_8.11 -> 1.6.2_8.11Enrico Tassi1-1/+3
2021-04-12coq-elpi: 1.8.0 -> 1.8.2_8.12Enrico Tassi1-1/+3
2021-04-12coq-elpi: 1.9.4 -> 1.9.5Enrico Tassi1-1/+2
2021-03-22coqPackages.coq-elpi: 1.6.0 -> 1.6.1Cyril Cohen1-1/+4
2021-03-17coqPackages.coq-elpi: 1.9.3 -> 1.9.4Cyril Cohen1-1/+2
2021-02-18elpi: 1.12.0 -> 1.13.0Cyril Cohen1-4/+8
2021-01-09coqPackages: refactorCyril Cohen1-35/+25
2020-08-28ocamlPackages.elpi: 1.11.2 -> 1.11.4Cyril Cohen1-4/+4
2020-08-11coq-elpi: 1.4.1 -> 1.5.1Cyril Cohen1-2/+7
2020-06-12coqPackages.coq-elpi: 1.4.0 -> 1.4.1Cyril Cohen1-2/+2
2020-06-04ocamlPackages.elpi: 1.10.2 -> 1.11.0Cyril Cohen1-7/+2
2020-03-03elpi: 1.7.0 -> 1.10.2; coq-elpi: 1.1 -> 1.3Cyril Cohen1-2/+7
2019-12-30treewide: installFlags is a listRobin Gloster1-1/+1
2019-10-16coq_8_10: 8.10+β3 → 8.10.0Vincent Laporte1-4/+4
2019-08-26treewide: remove redundant quotesvolth1-1/+1
2019-08-09elpi: 1.4.1 -> 1.6.0, and coq-elpiCyril Cohen1-0/+38
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-17 22:52:49 +0000