about summary refs log tree commit diff
path: root/pkgs/tools/misc/leanify
AgeCommit message (Expand)AuthorFilesLines
2024-05-31leanify: Add simple checkMynacol1-0/+8
2024-03-18leanify: 2023-10-19 -> 2023-12-17Mynacol1-5/+6
2024-02-17Merge pull request #264607 from Mynacol/leanify-2023-10kirillrdy1-3/+3
2023-11-27treewide: add mainProgramh7x41-0/+1
2023-10-31leanify: unstable-2022-12-04 -> unstable-2023-10-19Mynacol1-3/+3
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