summary refs log tree commit diff
path: root/pkgs/development/coq-modules/coqhammer
Commit message (Expand)AuthorAge
* treewide: remove redundant quotesvolth2019-08-26
* coqPackages.coqhammer: init at 1.1Vincent Laporte2019-03-29
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-07 03:51:21 +0000