From 4920cbcbbe563c679b902679492773b5f18df9bc Mon Sep 17 00:00:00 2001
From: "Glenn Y. Rolland" <glenux@glenux.net>
Date: Tue, 19 Nov 2019 21:56:30 +0100
Subject: [PATCH] Switch to debian package for GMP

---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index a7ccfc0..7b73010 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -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