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

export PIKA_PACKAGE_VERSION="0.11"
export PIKA_PACKAGE_NAME="dh-coq"
export PIKA_PACKAGE_PATCH=false
export PIKA_REBUILD=false
export PIKA_REBUILD_VERSION="b0"
export PIKA_BUILD_ATTEMPT="0"
dh-coq=0.11 2024-09-17 23:29:31 +02:00			`export PIKA_PACKAGE_VERSION="0.11"`
			`export PIKA_PACKAGE_NAME="dh-coq"`
initial attempt 2024-07-27 20:48:07 +02:00			`export PIKA_PACKAGE_PATCH=false`
ivyplusplus=1.42-2 2024-08-10 11:55:39 +02:00			`export PIKA_REBUILD=false`
gnome-shell-extension-system-monitor=40-7 2024-09-17 08:09:52 +02:00			`export PIKA_REBUILD_VERSION="b0"`
			`export PIKA_BUILD_ATTEMPT="0"`