6 Commits

Author	SHA1	Message	Date
kirillrdy	5d7eab6c06	Merge pull request #264607 from Mynacol/leanify-2023-10 ... leanify: unstable-2022-12-04 -> unstable-2023-10-19	2024-02-17 11:36:42 +11:00
h7x4	41974d5ed9	treewide: add mainProgram	2023-11-27 02:17:53 +01:00
Mynacol	c952d99534	leanify: unstable-2022-12-04 -> unstable-2023-10-19	2023-10-31 16:38:46 +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