#define PIKA_VERSION_MAJOR       1
#define PIKA_VERSION_MINOR       10
#define PIKA_VERSION_MICRO       3

#define PIKA_EDIT_TIME      "2022/08/25 11:23:27"