nixpkgs/pkgs/tools/misc/leanify
2023-03-29 14:26:44 +03:00
..
default.nix leanify: support darwin 2023-03-29 14:26:44 +03:00