13.0 (p2)

grooverdan · grooverdan · commit fb3ac619f14c · 2026-04-02T11:22:59.000+11:00
diff --git a/generate-stackbrew-library.sh b/generate-stackbrew-library.sh
@@ -1,7 +1,7 @@
 #!/usr/bin/env bash
 set -Eeuo pipefail
 
-GLOBIGNORE=examples/:.*/:test/:main/:main-ubi/
+GLOBIGNORE=examples/:.*/:test/:main/:main-ubi/:13.0/:13.0-ubi/
 
 err() {
   echo >&2 "ERROR: $*"
diff --git a/update.sh b/update.sh
@@ -5,7 +5,7 @@ set -Eeuo pipefail
 #
 
 development_version=main
-development_version_real=12.4
+development_version_real=13.0
 
 defaultSuite='noble'
 defaultSuiteUBI='ubi10-minimal'

Original file line number	Diff line number	Diff line change
`@@ -5,7 +5,7 @@ set -Eeuo pipefail`
`5`	`5`	`#`
`6`	`6`
`7`	`7`	`development_version=main`
`8`		`-development_version_real=12.4`
	`8`	`+development_version_real=13.0`
`9`	`9`
`10`	`10`	`defaultSuite='noble'`
`11`	`11`	`defaultSuiteUBI='ubi10-minimal'`