/Admin/components/
drwxr-xr-x [up]
-rw-r--r-- 2022-09-16 16:34 +0200 4027 PLATFORMS
-rw-r--r-- 2022-09-16 16:34 +0200 2602 README
-rw-r--r-- 2022-09-16 16:34 +0200 50 bundled
-rw-r--r-- 2022-09-16 16:34 +0200 71 bundled-linux
-rw-r--r-- 2022-09-16 16:34 +0200 71 bundled-linux_arm
-rw-r--r-- 2022-09-16 16:34 +0200 71 bundled-macos
-rw-r--r-- 2022-09-16 16:34 +0200 86 bundled-windows
-rw-r--r-- 2022-09-16 16:34 +0200 11 cakeml
-rw-r--r-- 2022-09-16 16:34 +0200 59 ci-extras
-rw-r--r-- 2022-09-16 16:34 +0200 32907 components.sha1
-rw-r--r-- 2022-09-16 16:34 +0200 466 index.php
-rw-r--r-- 2022-09-16 16:34 +0200 609 main
-rw-r--r-- 2022-09-16 16:34 +0200 59 nonfree
-rw-r--r-- 2022-09-16 16:34 +0200 75 optional
-rw-r--r-- 2022-09-16 16:34 +0200 62 windows