From a5f9efa30bd75fe4f3616ebd937995452691cffb Mon Sep 17 00:00:00 2001 From: thomas Date: Tue, 1 Jun 2021 17:30:55 +0200 Subject: [PATCH] usrlocalpkg: Fix julia config error 'julia=julia-1.1.0' is indeed different to 'julia-1.1.0=julia', since the julia package (in an inimitable way) provides links to package-versioned binaries on its own... --- usrlocalpkg/admin/config | 4 ---- 1 file changed, 4 deletions(-) diff --git a/usrlocalpkg/admin/config b/usrlocalpkg/admin/config index bc31e83..d8892f3 100644 --- a/usrlocalpkg/admin/config +++ b/usrlocalpkg/admin/config @@ -1492,10 +1492,6 @@ julia-1.1.0-0 julia-1.1.0 julia-debug-1.1.0 -julia-1.1.0-0 - julia=julia-1.1.0 - julia-debug=julia-debug-1.1.0 - julia=julia-1.6.1-0 julia=julia-1.6.1