/lib/Tools/ default tip
drwxr-xr-x [up]
-rwxr-xr-x 2022-08-16 10:39 +0100 1152 client
-rwxr-xr-x 2022-08-16 10:39 +0100 4788 components
-rwxr-xr-x 2022-08-16 10:39 +0100 500 console
-rwxr-xr-x 2022-08-16 10:39 +0100 307 electron
-rwxr-xr-x 2022-08-16 10:39 +0100 402 env
-rwxr-xr-x 2022-08-16 10:39 +0100 1288 getenv
-rwxr-xr-x 2022-08-16 10:39 +0100 296 ghc_setup
-rwxr-xr-x 2022-08-16 10:39 +0100 137 ghc_stack
-rwxr-xr-x 2022-08-16 10:39 +0100 1276 install
-rwxr-xr-x 2022-08-16 10:39 +0100 373 java
-rwxr-xr-x 2022-08-16 10:39 +0100 229 java_monitor
-rwxr-xr-x 2022-08-16 10:39 +0100 335 node
-rwxr-xr-x 2022-08-16 10:39 +0100 139 ocaml_opam
-rwxr-xr-x 2022-08-16 10:39 +0100 504 ocaml_setup
-rwxr-xr-x 2022-08-16 10:39 +0100 434 scala
-rwxr-xr-x 2022-08-16 10:39 +0100 1347 scala_build
-rwxr-xr-x 2022-08-16 10:39 +0100 362 scalac
-rwxr-xr-x 2022-08-16 10:39 +0100 2023 version