summary refs log tree commit diff
path: root/pkgs/tools/typesetting/coq2html
Commit message (Expand)AuthorAge
* coq2html: use new SRI hash formatAndersonTorres2022-06-02
* coq2html: 1.2 → 1.3Vincent Laporte2021-10-13
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-14 03:20:50 +0000