summary refs log tree commit diff
path: root/pkgs/tools/misc/leanify
Commit message (Expand)AuthorAge
* leanify: support darwinWeijia Wang2023-03-29
* leanify: mark darwin as broken Paul Prechtel2023-03-27
* leanify: init at unstable-2022-12-04Mynacol2023-03-26