#define PIKA_VERSION_MAJOR       1
#define PIKA_VERSION_MINOR       11
#define PIKA_VERSION_MICRO       2

#define PIKA_EDIT_TIME      "2022/09/24 20:58:10"