/lib/scripts/
drwxr-xr-x [up]
-rw-r--r-- 2021-03-31 11:24 +0200 6683 getfunctions
-rwxr-xr-x 2021-03-31 11:24 +0200 2911 getsettings
-rwxr-xr-x 2021-03-31 11:24 +0200 259 ghc
-rw-r--r-- 2021-03-31 11:24 +0200 1410 isabelle-platform
-rwxr-xr-x 2021-03-31 11:24 +0200 464 java-gui-setup
-rwxr-xr-x 2021-03-31 11:24 +0200 326 ocamlfind
-rwxr-xr-x 2021-03-31 11:24 +0200 571 polyml-version