export PIKA_PACKAGE_VERSION="0.2.3-7"
export PIKA_PACKAGE_NAME="highlight-numbers-el"
export PIKA_PACKAGE_PATCH=false
export PIKA_REBUILD=false
export PIKA_REBUILD_VERSION="b0"
export PIKA_BUILD_ATTEMPT="0"