#define PIKA_VERSION_MAJOR       1
#define PIKA_VERSION_MINOR       11
#define PIKA_VERSION_MICRO       0

#define PIKA_EDIT_TIME      "2022/09/16 15:33:53"