// version.h generated by GEMMA scripts/gen_version_info.sh
#define GEMMA_VERSION "0.98-pre2"
#define GEMMA_DATE "2018-07-14"
#define GEMMA_YEAR "2018"
#define GEMMA_PROFILE "/gnu/store/9ahrb1swr06kjm2gr2zg0fsyvps3xqgz-profile"