From 135ac363570eb4fa11e680917d17075ee9b3949a75a5dc8cca8e5181de159dcf Mon Sep 17 00:00:00 2001
From: Jan Engelhardt <jengelh@inai.de>
Date: Mon, 20 Mar 2023 14:28:32 +0000
Subject: [PATCH] Update gap-full deps

OBS-URL: https://build.opensuse.org/package/show/science/gap?expand=0&rev=84
---
 gap.spec | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/gap.spec b/gap.spec
index f185737..df277ed 100644
--- a/gap.spec
+++ b/gap.spec
@@ -138,7 +138,7 @@ Requires:       gap-format >= 1.4.3
 Requires:       gap-forms >= 1.2.9
 Requires:       gap-fplsa >= 1.2.5
 Requires:       gap-fr >= 2.4.12
-Requires:       gap-francy >= 1.2.5
+#dependson jupyterkernel#Requires:       gap-francy >= 1.2.5
 Requires:       gap-fwtree >= 1.3
 Requires:       gap-gapdoc >= 1.6.6
 Requires:       gap-gauss >= 2022.11.01
@@ -188,6 +188,7 @@ Requires:       gap-modisom >= 2.5.3
 #Requires:      gap-modulepresentationsforcap >= 2022.12.01
 Requires:       gap-modules >= 2022.11.01
 Requires:       gap-monoidalcategories >= 2022.12.01
+Requires:       gap-nconvex >= 2022.09.01
 Requires:       gap-nilmat >= 1.4.2
 Requires:       gap-nock >= 1.5
 Requires:       gap-normalizinterface >= 1.3.5