From 9ce80222f0060bc922942d0f2a12a094c17a4a85 Mon Sep 17 00:00:00 2001 From: thomas Date: Thu, 29 Jul 2021 13:25:05 +0200 Subject: [PATCH] usrlocalpkg: cuda, update shortcuts Well, looks like they aren't used that much. --- usrlocalpkg/admin/config | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/usrlocalpkg/admin/config b/usrlocalpkg/admin/config index 6f92311..3218d8c 100644 --- a/usrlocalpkg/admin/config +++ b/usrlocalpkg/admin/config @@ -1426,13 +1426,18 @@ chromium=chromium-89.0.4389.128-0 cuda-9.0=cuda-9.0.176-0 cuda-9.1=cuda-9.1.85-0 +cuda-9.2=cuda-9.2.148-0 cuda-9=cuda-9.0 # keep default 9.0 because of tensorflow cuda-10.0=cuda-10.0.130-0 cuda-10.1=cuda-10.1.105-0 -cuda-10.2=cuda-10.2.89-0 +cuda-10.2=cuda-10.2.89-1 cuda-10=cuda-10.0 # keep default 10.0 because of tensorflow ... +cuda-11.0=cuda-11.0.3-0 +cuda-11.1=ccuda-11.1.1-0 +cuda-11.3=ccuda-11.3.1-0 + gcc-5=gcc-5.5.0-1 ecj gappletviewer