gapt 2.5


Group ID:
at.logic.gapt
Artifact ID:
gapt_2.12
Version:
2.5
Release Date:
Feb 22, 2017
Licenses:

libraryDependencies += "at.logic.gapt" %% "gapt" % "2.5"
resolvers += Resolver.bintrayRepo("gapt", "maven")

Mill build tool

ivy"at.logic.gapt::gapt:2.5"
MavenRepository("https://dl.bintray.com/gapt/maven")

Ammonite REPL

import $ivy.`at.logic.gapt::gapt:2.5`
import ammonite._, Resolvers._
val res = Resolver.Http(
  "Bintray gapt maven",
  "Some(https://dl.bintray.com/gapt/maven)",
  IvyPattern,
  false)
interp.resolvers() = interp.resolvers() :+ res

<dependency>
  <groupId>at.logic.gapt</groupId>
  <artifactId>gapt_2.12</artifactId>
  <version>2.5</version>
</dependency>

compile group: 'at.logic.gapt', name: 'gapt_2.12', version: '2.5'