#define PIKA_VERSION_MAJOR       1
#define PIKA_VERSION_MINOR       11
#define PIKA_VERSION_MICRO       6

#define PIKA_EDIT_TIME      "2022/11/15 14:57:30"