Current archive contains these:
#define ARDUINO_ESP8266_GIT_VER 0xefb0341a
#define ARDUINO_ESP8266_GIT_DESC 3.0.0
#define ARDUINO_ESP8266_RELEASE_
#define ARDUINO_ESP8266_RELEASE ""
which should probably have been ARDUINO_ESP8266_RELEASE_3_0_0 and ARDUINO_ESP8266_RELEASE "3_0_0"?