From 3c068b040a061b4a91309bd01d5444b3eee8f978 Mon Sep 17 00:00:00 2001 From: Brunel Date: Fri, 6 Dec 2024 16:17:08 +0100 Subject: [PATCH] hol-light=1:3.0.0-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 91ddda3da..786f69f11 100644 --- a/pika-build-config/lto.sh +++ b/pika-build-config/lto.sh @@ -1,5 +1,5 @@ -export PIKA_PACKAGE_VERSION="1.5.0+2.0+8.16-4" -export PIKA_PACKAGE_NAME="mathcomp-zify" +export PIKA_PACKAGE_VERSION="1:3.0.0-1" +export PIKA_PACKAGE_NAME="hol-light" export PIKA_PACKAGE_PATCH=false export PIKA_REBUILD=false export PIKA_REBUILD_VERSION="b0"