From 02d0be9bea453a6a7847cd5a793da2ccefb3a29b Mon Sep 17 00:00:00 2001 From: Brunel Date: Tue, 4 Feb 2025 16:53:16 +0100 Subject: [PATCH] poldi=0.4.2+git20201120.5d67235-1 --- pika-build-config/lto.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pika-build-config/lto.sh b/pika-build-config/lto.sh index 0de2b3701..a616114cc 100644 --- a/pika-build-config/lto.sh +++ b/pika-build-config/lto.sh @@ -1,5 +1,5 @@ -export PIKA_PACKAGE_VERSION="5.14.0-1" -export PIKA_PACKAGE_NAME="fdb" +export PIKA_PACKAGE_VERSION="0.4.2+git20201120.5d67235-1" +export PIKA_PACKAGE_NAME="poldi" export PIKA_PACKAGE_PATCH=false export PIKA_REBUILD=false export PIKA_REBUILD_VERSION="b0"