From f7ef6368ad50a129073a8d785d199f9eac34596e Mon Sep 17 00:00:00 2001
From: thomas <kreitler@molgen.mpg.de>
Date: Mon, 10 Mar 2025 16:41:48 +0100
Subject: [PATCH] usrlocalpkg/admin/config: add pymol (open-source) 3.1.0

The former installation is accessible via pymol25.
---
 usrlocalpkg/admin/config | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/usrlocalpkg/admin/config b/usrlocalpkg/admin/config
index 8cd4767..e3f8b18 100644
--- a/usrlocalpkg/admin/config
+++ b/usrlocalpkg/admin/config
@@ -1914,7 +1914,10 @@ haskell=haskell-9.2.2-0
 audacity=audacity-2.4.2-0
   audacity
 
-pymol=pymol-open-source-2.5.0-0
+pymol-open-source-2.5.0-0
+  pymol25=pymol
+
+pymol=pymol-open-source-3.1.0-0
   pymol
 
 pdftk=pdftk-3.3.2-0