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 ! ##