Sebastian Ullrich d7c3be09f6 feat: Nix: inherit LEAN_PATH in lean-package/emacs-package		2020-11-28 17:36:20 +01:00
..
templates/pkg	feat: Nix: template for custom packages	2020-11-28 17:36:20 +01:00
bootstrap.nix	feat: Nix: template for custom packages	2020-11-28 17:36:20 +01:00
buildLeanPackage.nix	feat: Nix: inherit LEAN_PATH in lean-package/emacs-package	2020-11-28 17:36:20 +01:00
lean-dev.in	feat: Nix: template for custom packages	2020-11-28 17:36:20 +01:00