/lib/Tools/ default tip
drwxr-xr-x [up]
-rwxr-xr-x 2021-06-12 15:37 +0200 1968 browser
-rwxr-xr-x 2021-06-12 15:37 +0200 1152 client
-rwxr-xr-x 2021-06-12 15:37 +0200 4536 components
-rwxr-xr-x 2021-06-12 15:37 +0200 505 console
-rwxr-xr-x 2021-06-12 15:37 +0200 402 env
-rwxr-xr-x 2021-06-12 15:37 +0200 1224 getenv
-rwxr-xr-x 2021-06-12 15:37 +0200 296 ghc_setup
-rwxr-xr-x 2021-06-12 15:37 +0200 137 ghc_stack
-rwxr-xr-x 2021-06-12 15:37 +0200 1276 install
-rwxr-xr-x 2021-06-12 15:37 +0200 325 java
-rwxr-xr-x 2021-06-12 15:37 +0200 173 java_monitor
-rwxr-xr-x 2021-06-12 15:37 +0200 139 ocaml_opam
-rwxr-xr-x 2021-06-12 15:37 +0200 504 ocaml_setup
-rwxr-xr-x 2021-06-12 15:37 +0200 544 scala
-rwxr-xr-x 2021-06-12 15:37 +0200 256 scalac
-rwxr-xr-x 2021-06-12 15:37 +0200 2023 version