/lib/scripts/
drwxr-xr-x [up]
-rw-r--r-- 2022-08-13 18:06 +0200 6439 getfunctions
-rwxr-xr-x 2022-08-13 18:06 +0200 3181 getsettings
-rwxr-xr-x 2022-08-13 18:06 +0200 259 ghc
-rw-r--r-- 2022-08-13 18:06 +0200 1185 isabelle-platform
-rwxr-xr-x 2022-08-13 18:06 +0200 464 java-gui-setup
-rwxr-xr-x 2022-08-13 18:06 +0200 326 ocamlfind
-rwxr-xr-x 2022-08-13 18:06 +0200 571 polyml-version