From 85c0bd73328d4e6bb09ae339053bc9c69996e33f Mon Sep 17 00:00:00 2001
From: thomas <kreitler@molgen.mpg.de>
Date: Fri, 8 Apr 2022 18:57:42 +0200
Subject: [PATCH] usrlocalpkg: update two buildsystems

apache-ant:

 - fast-forward 9 years (ver. 1.10.12)

bazel:

 - advance to ver. 5.1.0 (required by Jax)
---
 usrlocalpkg/admin/config | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/usrlocalpkg/admin/config b/usrlocalpkg/admin/config
index 60a2408..58189de 100644
--- a/usrlocalpkg/admin/config
+++ b/usrlocalpkg/admin/config
@@ -608,7 +608,7 @@ mariux64R
         Rscript2
 
 mariux64ant
-	ant
+  ant-1.9=ant
 
 mariux64
 
@@ -1662,7 +1662,10 @@ bazel-0.28.1-0
 bazel-3.4.1-0
   bazel-3.4.1=bazel
 
-bazel=bazel-4.1.0-0
+bazel-4.1.0-0
+  bazel-4.1.0=bazel
+
+bazel=bazel-5.1.0-0
   bazel
 
 
@@ -1733,6 +1736,9 @@ pymol=pymol-open-source-2.5.0-0
 pdftk=pdftk-3.3.2-0
   pdftk
 
+ant=apache-ant-1.10.12-0
+  ant
+
 #####################################################
 ##                                                 ##
 ## DO NOT EDIT outside of the mxtools repository ! ##