kissat=4.0.1-2
Some checks failed
PikaOS Upstream Package Build & Release (amd64-v3 + LTO) / build (push) Failing after 37s

This commit is contained in:
Brunel 2024-10-15 00:26:45 +02:00
parent a0786f08ad
commit 94cdbc94a9

View File

@ -1,5 +1,5 @@
export PIKA_PACKAGE_VERSION="0.2.1.2-1"
export PIKA_PACKAGE_NAME="haskell-pandoc-lua-engine"
export PIKA_PACKAGE_VERSION="4.0.1-2"
export PIKA_PACKAGE_NAME="kissat"
export PIKA_PACKAGE_PATCH=false
export PIKA_REBUILD=false
export PIKA_REBUILD_VERSION="b0"