about summary refs log tree commit diff
path: root/pkgs/tools/misc/leanify
AgeCommit message (Expand)AuthorFilesLines
2023-03-29leanify: support darwinWeijia Wang1-1/+9
2023-03-27leanify: mark darwin as broken Paul Prechtel1-0/+1
2023-03-26leanify: init at unstable-2022-12-04Mynacol1-0/+39