pkgs = import nixpkgs { inherit system; };

        pkgs = nixpkgs.legacyPackages.${system};

          debug = true;

        # 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)));

          LEAN_PATH = "${leanPkgs.Lean.modRoot}";
          CPATH = "${leanPkgs.Lean.modRoot}";

          LEAN_PATH = joinDepsDerivationns (d: d.modRoot);
          LEAN_SRC_PATH = joinDepsDerivationns (d: d.src);