From d013a741ea41fa409b83565d2159b6b9db352560 Mon Sep 17 00:00:00 2001
From: thomas <kreitler@molgen.mpg.de>
Date: Thu, 23 Feb 2023 14:43:42 +0100
Subject: [PATCH] usrlocalpkg: Add cuda-11.7

---
 usrlocalpkg/admin/config | 1 +
 1 file changed, 1 insertion(+)

diff --git a/usrlocalpkg/admin/config b/usrlocalpkg/admin/config
index bc0debf..b7212d2 100644
--- a/usrlocalpkg/admin/config
+++ b/usrlocalpkg/admin/config
@@ -1491,6 +1491,7 @@ cuda-11.0=cuda-11.0.3-0
 cuda-11.1=cuda-11.1.1-0
 cuda-11.3=cuda-11.3.1-0
 cuda-11.5=cuda-11.5.2-0
+cuda-11.7=cuda-11.7.1-0
 cuda-11=cuda-11.3        # still the 'most popular'
 
 cuda=cuda-11