run-upstream-build/pika-build-config/v3.sh

export PIKA_PACKAGE_VERSION="13.2"
export PIKA_PACKAGE_NAME="gdb-mingw-w64"
export PIKA_PACKAGE_PATCH=false
export PIKA_REBUILD=false
export PIKA_REBUILD_VERSION="b1"
export PIKA_BUILD_ATTEMPT="1"
gdb-mingw-w64=13.2 2025-01-24 23:43:06 +01:00			`export PIKA_PACKAGE_VERSION="13.2"`
			`export PIKA_PACKAGE_NAME="gdb-mingw-w64"`
initial attempt 2024-07-27 19:48:07 +01:00			`export PIKA_PACKAGE_PATCH=false`
Update pika-build-config/v3.sh 2024-08-09 13:43:22 +02:00			`export PIKA_REBUILD=false`
ipxe=1.21.1+git20220113.fbbdc3926+dfsg-1 2025-01-06 17:59:38 +01:00			`export PIKA_REBUILD_VERSION="b1"`
			`export PIKA_BUILD_ATTEMPT="1"`