Thank you. tippecanoe is provided by nixpkgs and you can search for it in "PACKAGES" tab in geospatial-nix.today.