From 92a54f79485de1f040b7db744c6db733f9f2ee7b Mon Sep 17 00:00:00 2001
From: "Glenn Y. Rolland" <glenux@glenux.net>
Date: Tue, 19 Nov 2019 21:57:26 +0100
Subject: [PATCH] Disable GMP package

---
 Dockerfile | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index 7b73010..5d66291 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -13,6 +13,7 @@ FROM nextcloud:17
 # CMD cron && apache2-foreground
 
 # Mandatory for bookmark extension
-RUN apt-get update \
- && apt-get install -y php7.3-gmp
+# but missing from deb packages
+# RUN apt-get update \
+# && apt-get install -y php7.3-gmp