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

6 lines
207 B
Bash
Raw Normal View History

2024-11-21 05:32:43 +01:00
export PIKA_PACKAGE_VERSION="1.7.11-1"
export PIKA_PACKAGE_NAME="coq-relation-algebra"
2024-09-27 19:25:16 +02:00
export PIKA_PACKAGE_PATCH=false
2024-11-20 16:23:01 +01:00
export PIKA_REBUILD=false
2024-11-21 04:24:00 +01:00
export PIKA_REBUILD_VERSION="b0"
export PIKA_BUILD_ATTEMPT="0"