diff --git a/ci/deps-debian11.sh b/ci/deps-debian11.sh old mode 100644 new mode 100755