From 8e5202ec21b2e91099b6b1e9bc4a85656003c4af Mon Sep 17 00:00:00 2001
From: thomas <kreitler@molgen.mpg.de>
Date: Thu, 29 Jul 2021 13:26:17 +0200
Subject: [PATCH] usrlocalpkg: switch to bazel-4.1.0

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

diff --git a/usrlocalpkg/admin/config b/usrlocalpkg/admin/config
index 3218d8c..674b420 100644
--- a/usrlocalpkg/admin/config
+++ b/usrlocalpkg/admin/config
@@ -1627,6 +1627,9 @@ bazel-0.28.1-0
   bazel-0.28=bazel
 
 bazel=bazel-3.4.1-0
+  bazel-3.4.1=bazel
+
+bazel=bazel-4.1.0-0
   bazel