From 5fb87facfd4c8bb52e34fee97a5dc00dbaf55b11 Mon Sep 17 00:00:00 2001 From: Brunel Date: Fri, 14 Feb 2025 16:10:07 +0100 Subject: [PATCH] jtreg7=7.5.1+1+ds1-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 4764333dd..9f552b27a 100644 --- a/pika-build-config/lto.sh +++ b/pika-build-config/lto.sh @@ -1,5 +1,5 @@ -export PIKA_PACKAGE_VERSION="1.10.2-dmo1" -export PIKA_PACKAGE_NAME="vs-dehalo-dmo" +export PIKA_PACKAGE_VERSION="7.5.1+1+ds1-1" +export PIKA_PACKAGE_NAME="jtreg7" export PIKA_PACKAGE_PATCH=false export PIKA_REBUILD=false export PIKA_REBUILD_VERSION="b0"