ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-11-12 12:07:47 +03:00
Code Issues Projects Releases Wiki Activity
2aaf6cbf2b
nixpkgs/pkgs/tools/misc/leanify
History
Weijia Wang 49fc798b25 leanify: support darwin
2023-03-29 14:26:44 +03:00
..
default.nix leanify: support darwin 2023-03-29 14:26:44 +03:00