/Admin/components/
drwxr-xr-x [up]
-rw-r--r-- 2018-10-31 15:53 +0100 2318 README
-rw-r--r-- 2018-10-31 15:53 +0100 50 bundled
-rw-r--r-- 2018-10-31 15:53 +0100 68 bundled-linux
-rw-r--r-- 2018-10-31 15:53 +0100 68 bundled-macos
-rw-r--r-- 2018-10-31 15:53 +0100 86 bundled-windows
-rw-r--r-- 2018-10-31 15:53 +0100 11 cakeml
-rw-r--r-- 2018-10-31 15:53 +0100 59 ci-extras
-rw-r--r-- 2018-10-31 15:53 +0100 17513 components.sha1
-rw-r--r-- 2018-10-31 15:53 +0100 427 main
-rw-r--r-- 2018-10-31 15:53 +0100 71 nonfree
-rw-r--r-- 2018-10-31 15:53 +0100 89 optional
-rw-r--r-- 2018-10-31 15:53 +0100 60 windows