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

export PIKA_PACKAGE_VERSION="0.3.4-3"
export PIKA_PACKAGE_NAME="coq-record-update"
export PIKA_PACKAGE_PATCH=false
export PIKA_REBUILD=false
export PIKA_REBUILD_VERSION="b0"
export PIKA_BUILD_ATTEMPT="0"
coq-record-update=0.3.4-3 2024-08-04 03:53:16 +02:00			`export PIKA_PACKAGE_VERSION="0.3.4-3"`
			`export PIKA_PACKAGE_NAME="coq-record-update"`
initial attempt 2024-07-27 20:48:07 +02:00			`export PIKA_PACKAGE_PATCH=false`
kodi-audioencoder-lame=20.3.0+ds1-2 2024-07-30 01:08:31 +02:00			`export PIKA_REBUILD=false`
			`export PIKA_REBUILD_VERSION="b0"`
			`export PIKA_BUILD_ATTEMPT="0"`