/lib/Tools/
drwxr-xr-x [up]
-rwxr-xr-x 2021-03-31 11:24 +0200 1968 browser
-rwxr-xr-x 2021-03-31 11:24 +0200 1152 client
-rwxr-xr-x 2021-03-31 11:24 +0200 4536 components
-rwxr-xr-x 2021-03-31 11:24 +0200 505 console
-rwxr-xr-x 2021-03-31 11:24 +0200 407 env
-rwxr-xr-x 2021-03-31 11:24 +0200 1308 getenv
-rwxr-xr-x 2021-03-31 11:24 +0200 296 ghc_setup
-rwxr-xr-x 2021-03-31 11:24 +0200 137 ghc_stack
-rwxr-xr-x 2021-03-31 11:24 +0200 1276 install
-rwxr-xr-x 2021-03-31 11:24 +0200 325 java
-rwxr-xr-x 2021-03-31 11:24 +0200 173 java_monitor
-rwxr-xr-x 2021-03-31 11:24 +0200 1957 latex
-rwxr-xr-x 2021-03-31 11:24 +0200 139 ocaml_opam
-rwxr-xr-x 2021-03-31 11:24 +0200 504 ocaml_setup
-rwxr-xr-x 2021-03-31 11:24 +0200 544 scala
-rwxr-xr-x 2021-03-31 11:24 +0200 256 scalac
-rwxr-xr-x 2021-03-31 11:24 +0200 1746 version