nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-04-13 02:17:23 +00:00
Code Issues Packages Projects Releases Wiki Activity
0a95a16f56
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