Commit Graph

3 Commits

Author SHA1 Message Date
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