| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | 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 |