From b2eabf6b790cd5f0641acf32a330368d43f4b29b Mon Sep 17 00:00:00 2001
From: thomas <kreitler@molgen.mpg.de>
Date: Thu, 6 Feb 2025 16:53:22 +0100
Subject: [PATCH] usrlocalpkg: set mono6 as new default

---
 usrlocalpkg/admin/config | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

diff --git a/usrlocalpkg/admin/config b/usrlocalpkg/admin/config
index c27bbd0..3f2e4d8 100644
--- a/usrlocalpkg/admin/config
+++ b/usrlocalpkg/admin/config
@@ -1089,12 +1089,11 @@ cyrus
 
 archive		robot
 
-mono	mono
-	mcs
-	gacutil
-	al
-
-mono6=mono-6.10.0-0
+mono=mono-6.10.0-0
+  al
+  gacutil
+  mcs
+  mono
   mono6=mono
 
 node-8.11.4-0