about summary refs log tree commit diff
path: root/pkgs/development/coq-modules/hierarchy-builder
Commit message (Expand)AuthorAge
* ocamlPackages.elpi: 1.10.2 -> 1.11.0Cyril Cohen2020-06-04
* coqPackages.hierarchy-builder: init at 0.9.0Cyril Cohen2020-03-11
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-18 22:04:15 +0000