generated from general-packages/pika-pkg-template
parent
93f337a564
commit
543389156f
@ -1,5 +1,5 @@
|
||||
export PIKA_PACKAGE_VERSION="2.0.3-1"
|
||||
export PIKA_PACKAGE_NAME="coqeal"
|
||||
export PIKA_PACKAGE_VERSION="2.0.2-1"
|
||||
export PIKA_PACKAGE_NAME="mathcomp-real-closed"
|
||||
export PIKA_PACKAGE_PATCH=false
|
||||
export PIKA_REBUILD=false
|
||||
export PIKA_REBUILD_VERSION="b2"
|
||||
|
Loading…
x
Reference in New Issue
Block a user