/Admin/components/
drwxr-xr-x [up]
-rw-r--r-- 2019-06-14 08:34 +0000 2877 README
-rw-r--r-- 2019-06-14 08:34 +0000 50 bundled
-rw-r--r-- 2019-06-14 08:34 +0000 68 bundled-linux
-rw-r--r-- 2019-06-14 08:34 +0000 68 bundled-macos
-rw-r--r-- 2019-06-14 08:34 +0000 86 bundled-windows
-rw-r--r-- 2019-06-14 08:34 +0000 11 cakeml
-rw-r--r-- 2019-06-14 08:34 +0000 59 ci-extras
-rw-r--r-- 2019-06-14 08:34 +0000 20097 components.sha1
-rw-r--r-- 2019-06-14 08:34 +0000 430 main
-rw-r--r-- 2019-06-14 08:34 +0000 59 nonfree
-rw-r--r-- 2019-06-14 08:34 +0000 89 optional
-rw-r--r-- 2019-06-14 08:34 +0000 60 windows