From a3352a9e96383834f0493a4846abc4fcadaaf102 Mon Sep 17 00:00:00 2001
From: thomas <kreitler@molgen.mpg.de>
Date: Fri, 19 Mar 2021 16:17:59 +0100
Subject: [PATCH] python-3.8: Install 3.8.8, ignore 3.8.7

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

diff --git a/usrlocalpkg/admin/config b/usrlocalpkg/admin/config
index 3cd603c..18717a0 100644
--- a/usrlocalpkg/admin/config
+++ b/usrlocalpkg/admin/config
@@ -1339,11 +1339,13 @@ python-3.7=python-3.7.7-0
 
 python3.7=python-3.7
 
-python-3.8=python-3.8.7-0
+python-3.8=python-3.8.8-0
 	python3.8
 	python3.8-config
 	pip3.8
 	pydoc3.8
+	thonny
+	idr
 
 python3.8=python-3.8