A packaging of the IntelliJ Community Edition educational library. This is release number 1 of trunk branch 142.
'com.github.adedayo.intellij.sdk:educational:142.1'
<dependency>
<groupId>com.github.adedayo.intellij.sdk</groupId>
<artifactId>educational</artifactId>
<version>142.1</version>
</dependency>
<dependency org="com.github.adedayo.intellij.sdk" name="educational" rev="142.1"/>
"com.github.adedayo.intellij.sdk", "educational", "142.1"