/Admin/components/
drwxr-xr-x [up]
-rw-r--r-- 2019-11-24 22:54 +0100 2877 README
-rw-r--r-- 2019-11-24 22:54 +0100 50 bundled
-rw-r--r-- 2019-11-24 22:54 +0100 68 bundled-linux
-rw-r--r-- 2019-11-24 22:54 +0100 68 bundled-macos
-rw-r--r-- 2019-11-24 22:54 +0100 86 bundled-windows
-rw-r--r-- 2019-11-24 22:54 +0100 11 cakeml
-rw-r--r-- 2019-11-24 22:54 +0100 59 ci-extras
-rw-r--r-- 2019-11-24 22:54 +0100 20650 components.sha1
-rw-r--r-- 2019-11-24 22:54 +0100 443 main
-rw-r--r-- 2019-11-24 22:54 +0100 59 nonfree
-rw-r--r-- 2019-11-24 22:54 +0100 89 optional
-rw-r--r-- 2019-11-24 22:54 +0100 60 windows