This website requires JavaScript.
Explore
Help
Sign In
talexander
/
nixpkgs
Watch
1
Star
0
Fork
0
You've already forked nixpkgs
Code
Issues
Pull Requests
Releases
Activity
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
