/Admin/components/
drwxr-xr-x [up]
-rw-r--r-- 2019-03-09 13:35 +0100 2877 README
-rw-r--r-- 2019-03-09 13:35 +0100 50 bundled
-rw-r--r-- 2019-03-09 13:35 +0100 68 bundled-linux
-rw-r--r-- 2019-03-09 13:35 +0100 68 bundled-macos
-rw-r--r-- 2019-03-09 13:35 +0100 86 bundled-windows
-rw-r--r-- 2019-03-09 13:35 +0100 11 cakeml
-rw-r--r-- 2019-03-09 13:35 +0100 59 ci-extras
-rw-r--r-- 2019-03-09 13:35 +0100 19046 components.sha1
-rw-r--r-- 2019-03-09 13:35 +0100 435 main
-rw-r--r-- 2019-03-09 13:35 +0100 59 nonfree
-rw-r--r-- 2019-03-09 13:35 +0100 89 optional
-rw-r--r-- 2019-03-09 13:35 +0100 60 windows