leanblueprint: add to all-packages.nix

2024-07-28 23:12:52 +03:00
parent 7b8b14a876
commit e405c212cb
1 changed files with 2 additions and 0 deletions
@@ -9965,6 +9965,8 @@ with pkgs;

  l3afpad = callPackage ../applications/editors/l3afpad { };

+  leanblueprint = with python3Packages; toPythonApplication leanblueprint;
+
  leanify = callPackage ../tools/misc/leanify { };

  leatherman = callPackage ../development/libraries/leatherman { };