diff --git a/.github/deploy_ppa_all_dists.sh b/.github/deploy_ppa_all_dists.sh
index 6781007..e3023c9 100755
--- a/.github/deploy_ppa_all_dists.sh
+++ b/.github/deploy_ppa_all_dists.sh
@@ -14,7 +14,6 @@ PACKAGE=$1
 DISTS=
 DISTS+=" focal"
 DISTS+=" jammy"
-DISTS+=" mantic"
 DISTS+=" noble"
 
 # Use timestamp as package suffix to generate a unique version number