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