Switch to debian package for GMP

2019-11-19 21:55:55 +01:00 · 2019-11-19 21:55:55 +01:00 · 882e667b14
parent 0de370b270
commit 882e667b14
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -14,5 +14,5 @@ FROM nextcloud:17

 # Mandatory for bookmark extension
 RUN apt-get update \
- && apt-get install -y php7.3-gmp
+ && apt-get install -y php-gmp