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

export PIKA_PACKAGE_VERSION="1.12-4"
export PIKA_PACKAGE_NAME="rt-extension-resetpassword"
export PIKA_PACKAGE_PATCH=false
export PIKA_REBUILD=false
export PIKA_REBUILD_VERSION="b1"
export PIKA_BUILD_ATTEMPT="1"
rt-extension-resetpassword=1.12-4 2024-08-11 21:51:02 +02:00			`export PIKA_PACKAGE_VERSION="1.12-4"`
			`export PIKA_PACKAGE_NAME="rt-extension-resetpassword"`
initial attempt 2024-07-27 20:48:07 +02:00			`export PIKA_PACKAGE_PATCH=false`
Update pika-build-config/v3.sh 2024-08-09 13:43:22 +02:00			`export PIKA_REBUILD=false`
rust-tiny-dfr=0.3.1-2 2024-08-06 00:24:07 +02:00			`export PIKA_REBUILD_VERSION="b1"`
Update pika-build-config/v3.sh 2024-08-09 13:43:22 +02:00			`export PIKA_BUILD_ATTEMPT="1"`