doskoi [1] filed a deletion request for php-libsodium [2]: no longer needed as php-sodium is now part of PHP 7.2 [1] https://aur.archlinux.org/account/doskoi/ [2] https://aur.archlinux.org/pkgbase/php-libsodium/