Есть ли команда для получения встроенных команд в zsh?

Оказывается, нет пакета для добавления поддержки GMP в PHP под Manjaro, потому что он на самом деле не нужен. Мне пришлось установить библиотеку GMP через

sudo pacman -S gmp

, а затем включите поддержку GMP в настройках PHP. Для последнего я искал все файлы PHP ini на своем компьютере :

find / -name "*php*.ini" 2> /dev/null

Это только напечатано:

/etc/php/php.ini

В этом файле есть такая строка:

;extension=gmp

После удаления точки с запятой все заработало.