From e630cb41d49fa5acc25f71a2baadf1e815328208 Mon Sep 17 00:00:00 2001
From: David Prevot <dprevot+git@evolix.fr>
Date: Tue, 16 May 2023 17:24:51 +0200
Subject: [PATCH] New php-symfony-polyfill-php80 package for phpmyadmin
 backport

---
 php-symfony-polyfill-php80.ctl | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 php-symfony-polyfill-php80.ctl

diff --git a/php-symfony-polyfill-php80.ctl b/php-symfony-polyfill-php80.ctl
new file mode 100644
index 0000000..9eeb696
--- /dev/null
+++ b/php-symfony-polyfill-php80.ctl
@@ -0,0 +1,5 @@
+Package: php-symfony-polyfill-php80
+Depends: php-common (>= 80:880)
+Version: 1.26
+Description: Workaround broken backport of php-slim-psr7
+ php-slim-psr7 depends on (recent) php-symfony-polyfill-php80 by mistake.