diff --git a/usrlocalpkg/admin/config b/usrlocalpkg/admin/config index 8718955..86a13e8 100644 --- a/usrlocalpkg/admin/config +++ b/usrlocalpkg/admin/config @@ -1567,6 +1567,9 @@ chromium=chromium-116.0.5845.179-0 chrome chromium +codium=codium-1.93.0.24253-0 + codium + cuda-9.0=cuda-9.0.176-0 cuda-9.1=cuda-9.1.85-0 cuda-9.2=cuda-9.2.148-0