summary refs log tree commit diff
path: root/pkgs/development/coq-modules/coq-elpi/default.nix
Commit message (Expand)AuthorAge
* coq_8_18: init at 8.18+rc1Vincent Laporte2023-09-04
* ocamlPackages.elpi: 1.16.5 → 1.17.0Pierre Roux2023-09-01
* coqPackages.coq-elpi: 1.17.0 → 1.18.0Vincent Laporte2023-08-29
* coqPackages: various 8.16 -> 8.17Pierre Roux2023-03-09
* coqPackages.coq-elpi: propagate findlibVincent Laporte2023-02-28
* coqPackages.coq-elpi: disable OCaml warningsVincent Laporte2022-10-12
* coqPackages.hierarchy-builder: 1.3.0 -> 1.4.0Cyril Cohen2022-09-29
* coqPackages.coq-elpi 1.14.0 -> 1.15.1Pierre Roux2022-07-19
* coqPackages.coq-elpi: 1.13.0 → 1.14.0Vincent Laporte2022-06-08
* coqPackages: etcCyril Cohen2022-05-25
* Revert "coqPackages: etc"Vincent Laporte2022-05-13
* coqPackages: etcCyril Cohen2022-05-12
* coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps ...Ulrik Strid2022-02-25
* coq-elpi: 1.12.1 -> 1.13.0Enrico Tassi2022-02-16
* Adapt to Coq 8.15 and MathCOmp 1.14Pierre Roux2022-02-02
* coqPackages.coq-elpi: 1.10 -> 1.11Cyril Cohen2021-10-27
* coq-elpi: clarify licenseEnrico Tassi2021-05-28
* coq-elpi: 1.9.7 -> 1.10.1Enrico Tassi2021-05-28
* coq-elpi: 1.6.2 -> 1.6.3Enrico Tassi2021-04-18
* coq-elpi: 1.8.2 -> 1.8.3Enrico Tassi2021-04-18
* coq-elpi: 1.9.5 -> 1.9.7Enrico Tassi2021-04-18
* coq-elpi: 1.6.1_8.11 -> 1.6.2_8.11Enrico Tassi2021-04-12
* coq-elpi: 1.8.0 -> 1.8.2_8.12Enrico Tassi2021-04-12
* coq-elpi: 1.9.4 -> 1.9.5Enrico Tassi2021-04-12
* coqPackages.coq-elpi: 1.6.0 -> 1.6.1Cyril Cohen2021-03-22
* coqPackages.coq-elpi: 1.9.3 -> 1.9.4Cyril Cohen2021-03-17
* elpi: 1.12.0 -> 1.13.0Cyril Cohen2021-02-18
* coqPackages: refactorCyril Cohen2021-01-09
* ocamlPackages.elpi: 1.11.2 -> 1.11.4Cyril Cohen2020-08-28
* coq-elpi: 1.4.1 -> 1.5.1Cyril Cohen2020-08-11
* coqPackages.coq-elpi: 1.4.0 -> 1.4.1Cyril Cohen2020-06-12
* ocamlPackages.elpi: 1.10.2 -> 1.11.0Cyril Cohen2020-06-04
* elpi: 1.7.0 -> 1.10.2; coq-elpi: 1.1 -> 1.3Cyril Cohen2020-03-03
* treewide: installFlags is a listRobin Gloster2019-12-30
* coq_8_10: 8.10+β3 → 8.10.0Vincent Laporte2019-10-16
* treewide: remove redundant quotesvolth2019-08-26
* elpi: 1.4.1 -> 1.6.0, and coq-elpiCyril Cohen2019-08-09
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-04-27 23:29:26 +0000