From 7629ce60677e184c12940a06276acc0456731bf7 Mon Sep 17 00:00:00 2001
From: Yann Dupont <yann.dupont@univ-nantes.fr>
Date: Tue, 22 Sep 2020 14:31:55 +0200
Subject: [PATCH] down to 30.0

---
 gnu/packages/glicid.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/glicid.scm b/gnu/packages/glicid.scm
index 01654dd..44780ed 100644
--- a/gnu/packages/glicid.scm
+++ b/gnu/packages/glicid.scm
@@ -373,7 +373,7 @@
   (package
     (inherit rdma-core)
     (name "glicid-specific-rdma-core-gcc-10")
-    (version "31.0")
+    (version "30.0")
     (source (origin
               (method url-fetch)
               (uri (string-append "https://github.com/linux-rdma/rdma-core"
@@ -381,7 +381,7 @@
                                   version ".tar.gz"))
               (sha256
                (base32
-                "02ym93k6khfmzm9rml79x9zh1dy8231sygw16r287mhwp0x9mbji"))))
+                "1ycvd8sp3giwjbp0x3nvb8q2wrdc50s7lmzf44b9l51qgcnvvq93"))))
       (inputs `(("gcc-10", gcc-10)
       ,@(package-inputs rdma-core)))