From 882e667b14ebb647e81e51e115b6d84041b7f17d Mon Sep 17 00:00:00 2001
From: "Glenn Y. Rolland" <glenux@glenux.net>
Date: Tue, 19 Nov 2019 21:55:55 +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 7b73010..a7ccfc0 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -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