Unverified Commit 6a68498b authored by Someone's avatar Someone Committed by GitHub
Browse files

Merge pull request #330728 from xhalo32/master 

leanblueprint: add to all-packages.nix
parents 74bedbce e405c212

pkgs/top-level/all-packages.nix

+2 −0
Original line number Diff line number Diff line
@@ -9910,6 +9910,8 @@ with pkgs; 














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



























  leanblueprint = with python3Packages; toPythonApplication leanblueprint;



























  leanify = callPackage ../tools/misc/leanify { };





























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