From 0152218732d20706ad20a5e0d8f0e796ce90e1d1 Mon Sep 17 00:00:00 2001
From: Sebastian Kuzminsky <seb@highlab.com>
Date: Wed, 5 Apr 2023 16:44:21 -0600
Subject: [PATCH] d/configure: switch to libeditreadline

Per <https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=980504>, this is
a drop-in GPLv2 license-compatible replacement for the unmaintained and
now removed libreadline-gplv2 package.
---
 debian/configure | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/configure b/debian/configure
index 81ac9125348..2d0ceffd382 100755
--- a/debian/configure
+++ b/debian/configure
@@ -35,7 +35,7 @@ fi
 
 EXTRA_BUILD=
 PYTHON_VERSION_NEXT=$(python3 -c 'import sys; print (sys.version[:2] + str(1+int(sys.version[2])))')
-LIBREADLINE_DEV="libreadline-gplv2-dev | libreadline-dev"
+LIBREADLINE_DEV="libeditreadline-dev | libreadline-gplv2-dev | libreadline-dev"
 
 ENABLE_BUILD_DOCUMENTATION=--enable-build-documentation=pdf