From 57159c5b488beac16cd6dc49da634219f61421e9 Mon Sep 17 00:00:00 2001 From: thomas Date: Fri, 11 Oct 2024 14:03:56 +0200 Subject: [PATCH] usrlocalpkg: remove R-devel (2017) Rationale: The R-devel-2017-02-02* packages have been archived, since no one will probably really use them any more. Also 'R-devel' suggests that it may be about current development, what it was not. --- usrlocalpkg/admin/config | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/usrlocalpkg/admin/config b/usrlocalpkg/admin/config index 86a13e8..62ba650 100644 --- a/usrlocalpkg/admin/config +++ b/usrlocalpkg/admin/config @@ -1558,7 +1558,7 @@ rstudio-2023.12.1-402-0 -R-devel=R-devel-2017-02-02-1 +# R-devel=R-devel-2017-02-02-1 Anaconda=Anaconda3 Anaconda3=Anaconda3-5.0.1-0