larsrh / sbt-libisabelle 0.6.1

Website GitHub

sbt helper for libisabelle (DISCONTINUED)

Group ID:

info.hupel

Artifact ID:

sbt-libisabelle_2.12_1.0

Version:

0.6.1

Release Date:

Oct 15, 2017

Licenses:

Apache-2.0

Files:

addSbtPlugin("info.hupel" % "sbt-libisabelle" % "0.6.1")

ivy"info.hupel::sbt-libisabelle:0.6.1"

import $ivy.`info.hupel::sbt-libisabelle:0.6.1`

<dependency>
  <groupId>info.hupel</groupId>
  <artifactId>sbt-libisabelle_2.12_1.0</artifactId>
  <version>0.6.1</version>
</dependency>

compile group: 'info.hupel', name: 'sbt-libisabelle_2.12_1.0', version: '0.6.1'