From edfc1e79cfc0e0886d3f2f5351a5b09ddc8de25d Mon Sep 17 00:00:00 2001
From: Sylvestre Ledru <sylvestre@debian.org>
Date: Sat, 28 Jan 2023 17:19:11 +0100
Subject: [PATCH] debug info

---
 debian/rules | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/debian/rules b/debian/rules
index 4fb91d4f..4e826a2b 100755
--- a/debian/rules
+++ b/debian/rules
@@ -495,6 +495,8 @@ RUNTIMES_LIST := $(shell echo "$(RUNTIMES)"|sed -e "s| ||g")
 
 preconfigure:
 
+	dh_listpackages
+
 	if ! grep -qs '/proc ' /proc/mounts; then \
 		echo "/proc needs to be mounted"; \
 		exit 1; \