From e2ee5b1e842b09906a62a8712ee30b3115dd1e14 Mon Sep 17 00:00:00 2001
From: Johannes 'josch' Schauer <josch@mister-muffin.de>
Date: Tue, 11 Aug 2020 09:51:03 +0200
Subject: [PATCH] make_mirror.sh: workaround python being uninstallable since
 August 03 2020, see Debian bug #968217

---
 make_mirror.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/make_mirror.sh b/make_mirror.sh
index 95480d4..d28dc80 100755
--- a/make_mirror.sh
+++ b/make_mirror.sh
@@ -237,7 +237,7 @@ END
 		| grep-dctrl --no-field-names --show-field=Package --exact-match \
 			\( --field=Essential yes --or --field=Priority required \
 			--or --field=Priority important --or --field=Priority standard \
-			--or --field=Package build-essential \) )
+			--or --field=Package build-essential \) --and --not --field Package python )
 
 	pkgs="$(echo $pkgs) build-essential busybox gpg"