| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps ... | Ulrik Strid | 2022-02-25 |
| * | Adapt to Coq 8.15 and MathCOmp 1.14 | Pierre Roux | 2022-02-02 |
| * | coqPackages.hierarchy-builder: etc | Cyril Cohen | 2021-10-30 |
| * | coqPackages.coq-elpi: 1.10 -> 1.11 | Cyril Cohen | 2021-10-27 |
| * | coq_8_14: init at 8.14+rc1 | Théo Zimmermann | 2021-10-13 |
| * | coqPackages.hierarchy-builder: 1.0.0 -> 1.1.0 | Ben Siraphob | 2021-07-16 |
| * | elpi: 1.12.0 -> 1.13.0 | Cyril Cohen | 2021-02-18 |
| * | coqPackages: refactor | Cyril Cohen | 2021-01-09 |
| * | coq-elpi: 1.4.1 -> 1.5.1 | Cyril Cohen | 2020-08-11 |
| * | ocamlPackages.elpi: 1.10.2 -> 1.11.0 | Cyril Cohen | 2020-06-04 |
| * | coqPackages.hierarchy-builder: init at 0.9.0 | Cyril Cohen | 2020-03-11 |