alac-plugin_2.12.3.0.0-9.source-code.scalac-plugin.xml Maven / Gradle / Ivy
<plugin> <name>sireum-plugin</name> <classname>org.sireum.scalac.SireumPlugin</classname> </plugin>
<plugin> <name>sireum-plugin</name> <classname>org.sireum.scalac.SireumPlugin</classname> </plugin>