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