JZNIUTSVIJ66FRYZI33YYUAHAKUVD4DEXNV7NLSA4VG2QHZFQ62QC
# tests = leanPkgs.buildLeanPackage {
# name = "Tests";
# src = ./tests;
# debug = true;
# deps = [ leanPkgs.Lean leanPkgs.Leanpkg project ];
# nativeSharedLibs = [ (pkgs.glibc // { name = "lib/libc-2.32.so"; }) project.sharedLib ];
# };
joinDepsDerivationns = getSubDrv:
pkgs.lib.concatStringsSep ":" (map (d: "${getSubDrv d}") ([ project ] ++ (builtins.attrValues project.allExternalDeps)));