Skip to content

Commit c5e9b6e

Browse files
committed
static_z3.sh: Update releases to include only maintained ones
1 parent 0475ec8 commit c5e9b6e

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

scripts/deps-ppa/static_z3.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -41,7 +41,7 @@ sourcePPAConfig
4141
# Sanity check
4242
checkDputEntries "\[cpp-build-deps\]"
4343

44-
DISTRIBUTIONS="focal impish jammy kinetic"
44+
DISTRIBUTIONS="focal jammy kinetic"
4545

4646
for distribution in $DISTRIBUTIONS
4747
do

0 commit comments

Comments
 (0)