/Admin/components/
drwxr-xr-x [up]
-rw-r--r-- 2020-05-09 17:20 +0000 2881 README
-rw-r--r-- 2020-05-09 17:20 +0000 50 bundled
-rw-r--r-- 2020-05-09 17:20 +0000 68 bundled-linux
-rw-r--r-- 2020-05-09 17:20 +0000 68 bundled-macos
-rw-r--r-- 2020-05-09 17:20 +0000 86 bundled-windows
-rw-r--r-- 2020-05-09 17:20 +0000 11 cakeml
-rw-r--r-- 2020-05-09 17:20 +0000 59 ci-extras
-rw-r--r-- 2020-05-09 17:20 +0000 21745 components.sha1
-rw-r--r-- 2020-05-09 17:20 +0000 441 main
-rw-r--r-- 2020-05-09 17:20 +0000 59 nonfree
-rw-r--r-- 2020-05-09 17:20 +0000 89 optional
-rw-r--r-- 2020-05-09 17:20 +0000 62 windows