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

6 lines
200 B
Bash
Raw Normal View History

2024-10-09 20:31:20 +02:00
export PIKA_PACKAGE_VERSION="2.8.7+dfsg1-1"
export PIKA_PACKAGE_NAME="minizinc"
2024-09-27 19:25:16 +02:00
export PIKA_PACKAGE_PATCH=false
export PIKA_REBUILD=false
2024-10-09 11:36:40 +02:00
export PIKA_REBUILD_VERSION="b0"
export PIKA_BUILD_ATTEMPT="0"