/lib/Tools/
drwxr-xr-x [up]
-rwxr-xr-x 2020-12-11 17:58 +0100 1968 browser
-rwxr-xr-x 2020-12-11 17:58 +0100 1152 client
-rwxr-xr-x 2020-12-11 17:58 +0100 3776 components
-rwxr-xr-x 2020-12-11 17:58 +0100 505 console
-rwxr-xr-x 2020-12-11 17:58 +0100 407 env
-rwxr-xr-x 2020-12-11 17:58 +0100 1308 getenv
-rwxr-xr-x 2020-12-11 17:58 +0100 296 ghc_setup
-rwxr-xr-x 2020-12-11 17:58 +0100 137 ghc_stack
-rwxr-xr-x 2020-12-11 17:58 +0100 1276 install
-rwxr-xr-x 2020-12-11 17:58 +0100 325 java
-rwxr-xr-x 2020-12-11 17:58 +0100 1957 latex
-rwxr-xr-x 2020-12-11 17:58 +0100 1193 logo
-rwxr-xr-x 2020-12-11 17:58 +0100 139 ocaml_opam
-rwxr-xr-x 2020-12-11 17:58 +0100 444 ocaml_setup
-rwxr-xr-x 2020-12-11 17:58 +0100 544 scala
-rwxr-xr-x 2020-12-11 17:58 +0100 256 scalac
-rwxr-xr-x 2020-12-11 17:58 +0100 951 version