generated from general-packages/pika-pkg-template
parent
c9ef9c03e5
commit
fe33848115
@ -1,5 +1,5 @@
|
||||
export PIKA_PACKAGE_VERSION="2.4"
|
||||
export PIKA_PACKAGE_NAME="dh-ocaml"
|
||||
export PIKA_PACKAGE_VERSION="1.0.0-4"
|
||||
export PIKA_PACKAGE_NAME="gworkspace"
|
||||
export PIKA_PACKAGE_PATCH=false
|
||||
export PIKA_REBUILD=false
|
||||
export PIKA_REBUILD_VERSION="b0"
|
||||
|
Loading…
x
Reference in New Issue
Block a user