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

export PIKA_PACKAGE_VERSION="2.0.4-1"
export PIKA_PACKAGE_NAME="coq-quickchick"
export PIKA_PACKAGE_PATCH=false
export PIKA_REBUILD=false
export PIKA_REBUILD_VERSION="b1"
export PIKA_BUILD_ATTEMPT="1"
coq-quickchick=2.0.4-1 2024-11-21 05:45:39 +01:00			`export PIKA_PACKAGE_VERSION="2.0.4-1"`
			`export PIKA_PACKAGE_NAME="coq-quickchick"`
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`
nss-pam-ldapd=0.9.12-9 2024-10-19 18:39:37 +02:00			`export PIKA_REBUILD_VERSION="b1"`
dpdk=23.11.2-2 2024-10-21 21:09:34 +02:00			`export PIKA_BUILD_ATTEMPT="1"`