4 Commits

Author	SHA1	Message	Date
h7x4	41974d5ed9	treewide: add mainProgram	2023-11-27 02:17:53 +01:00
Weijia Wang	49fc798b25	leanify: support darwin	2023-03-29 14:26:44 +03:00
Paul Prechtel	3f977c13dd	leanify: mark darwin as broken ... See https://github.com/NixOS/nixpkgs/pull/223300#discussion_r1148651152 Co-authored-by: Weijia Wang <9713184+wegank@users.noreply.github.com>	2023-03-27 00:04:39 +02:00
Mynacol	de50889848	leanify: init at unstable-2022-12-04 ... The stable v0.4.3 from 2015 wouldn't compile for me, so I just chose the last git commit. According to the changelog, there is v0.4.4, but no git tag or GitHub release is available.	2023-03-26 23:14:47 +02:00