-rw-r--r--   1 2151869  15000        4161 Sep 18  2020 constants.php
-rw-r--r--   1 2151869  15000        1345 Sep 18  2020 namespaced.php
-rw-r--r--   1 2151869  15000       41709 Oct  3  2021 php72compat.php
-rw-r--r--   1 2151869  15000        4597 Oct  3  2021 php72compat_const.php
-rw-r--r--   1 2151869  15010        7210 Oct  3  2021 ristretto255.php
-rw-r--r--   1 2151869  15000       24536 Oct  3  2021 sodium_compat.php
-rw-r--r--   1 2151869  15010        1287 Oct  3  2021 stream-xchacha20.php
