/lib/Tools/
drwxr-xr-x [up]
-rwxr-xr-x 2019-10-27 21:51 -0400 1968 browser
-rwxr-xr-x 2019-10-27 21:51 -0400 1148 client
-rwxr-xr-x 2019-10-27 21:51 -0400 3686 components
-rwxr-xr-x 2019-10-27 21:51 -0400 501 console
-rwxr-xr-x 2019-10-27 21:51 -0400 625 display
-rwxr-xr-x 2019-10-27 21:51 -0400 407 env
-rwxr-xr-x 2019-10-27 21:51 -0400 1308 getenv
-rwxr-xr-x 2019-10-27 21:51 -0400 296 ghc_setup
-rwxr-xr-x 2019-10-27 21:51 -0400 137 ghc_stack
-rwxr-xr-x 2019-10-27 21:51 -0400 1276 install
-rwxr-xr-x 2019-10-27 21:51 -0400 325 java
-rwxr-xr-x 2019-10-27 21:51 -0400 1932 latex
-rwxr-xr-x 2019-10-27 21:51 -0400 1387 logo
-rwxr-xr-x 2019-10-27 21:51 -0400 139 ocaml_opam
-rwxr-xr-x 2019-10-27 21:51 -0400 444 ocaml_setup
-rwxr-xr-x 2019-10-27 21:51 -0400 409 scala
-rwxr-xr-x 2019-10-27 21:51 -0400 256 scalac
-rwxr-xr-x 2019-10-27 21:51 -0400 951 version