JarCasting
JarCasting JarCasting
Last Version

gapt-examples 2.15.4

gapt-examples

License

License
GroupId

GroupId

at.logic.gapt
ArtifactId

ArtifactId

gapt-examples_2.13
Version

Version

2.15.4
Type

Type

jar
Description

Description

gapt-examples
gapt-examples
Project URL

Project URL

https://logic.at/gapt/
Project Organization

Project Organization

at.logic.gapt
Source Code Management

Source Code Management

https://github.com/gapt/gapt

Download gapt-examples_2.13 2.15.4

Filename Size
gapt-examples_2.13-2.15.4.pom
gapt-examples_2.13-2.15.4.jar 1 MB
gapt-examples_2.13-2.15.4-sources.jar 353 KB
gapt-examples_2.13-2.15.4-javadoc.jar 2 MB
Browse 

<!-- https://jarcasting.com/artifacts/at.logic.gapt/gapt-examples_2.13/ -->
<dependency>
    <groupId>at.logic.gapt</groupId>
    <artifactId>gapt-examples_2.13</artifactId>
    <version>2.15.4</version>
</dependency>
// https://jarcasting.com/artifacts/at.logic.gapt/gapt-examples_2.13/
implementation 'at.logic.gapt:gapt-examples_2.13:2.15.4'
// https://jarcasting.com/artifacts/at.logic.gapt/gapt-examples_2.13/
implementation ("at.logic.gapt:gapt-examples_2.13:2.15.4")
'at.logic.gapt:gapt-examples_2.13:jar:2.15.4'
<dependency org="at.logic.gapt" name="gapt-examples_2.13" rev="2.15.4">
  <artifact name="gapt-examples_2.13" type="jar" />
</dependency>
@Grapes(
@Grab(group='at.logic.gapt', module='gapt-examples_2.13', version='2.15.4')
)
libraryDependencies += "at.logic.gapt" % "gapt-examples_2.13" % "2.15.4"
[at.logic.gapt/gapt-examples_2.13 "2.15.4"]

Dependencies

compile (2)

Group / Artifact Type Version
org.scala-lang : scala-library jar 2.13.1
at.logic.gapt : gapt_2.13 jar 2.15.4

Project Modules

There are no modules declared in this project.