Switch to debian package for GMP

This commit is contained in:
Glenn Y. Rolland 2019-11-19 21:56:30 +01:00
parent 882e667b14
commit 4920cbcbbe

View file

@ -14,5 +14,5 @@ FROM nextcloud:17
# Mandatory for bookmark extension
RUN apt-get update \
&& apt-get install -y php-gmp
&& apt-get install -y php7.3-gmp