keypool 0.2.0-M1

keypool

License	MIT
Categories	KeY Data Data Formats Formal Verification
GroupId	io.chrisdavenport
ArtifactId	keypool_2.13.0-M5
Version	0.2.0-M1
Type	jar
Description	keypool keypool
Project URL	https://github.com/ChristopherDavenport/keypool
Project Organization	io.chrisdavenport
Source Code Management	https://github.com/ChristopherDavenport/keypool

Download keypool_2.13.0-M5 0.2.0-M1

Filename	Size
keypool_2.13.0-M5-0.2.0-M1.pom
keypool_2.13.0-M5-0.2.0-M1.jar	58 KB
keypool_2.13.0-M5-0.2.0-M1-sources.jar	6 KB
keypool_2.13.0-M5-0.2.0-M1-javadoc.jar	1 MB

Apache Maven

<!-- https://jarcasting.com/artifacts/io.chrisdavenport/keypool_2.13.0-M5/ -->
<dependency>
    <groupId>io.chrisdavenport</groupId>
    <artifactId>keypool_2.13.0-M5</artifactId>
    <version>0.2.0-M1</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/io.chrisdavenport/keypool_2.13.0-M5/
implementation 'io.chrisdavenport:keypool_2.13.0-M5:0.2.0-M1'

Gradle Kotlin

// https://jarcasting.com/artifacts/io.chrisdavenport/keypool_2.13.0-M5/
implementation ("io.chrisdavenport:keypool_2.13.0-M5:0.2.0-M1")

Apache Buildr

'io.chrisdavenport:keypool_2.13.0-M5:jar:0.2.0-M1'

Apache Ivy

<dependency org="io.chrisdavenport" name="keypool_2.13.0-M5" rev="0.2.0-M1">
  <artifact name="keypool_2.13.0-M5" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='io.chrisdavenport', module='keypool_2.13.0-M5', version='0.2.0-M1')
)

Scala SBT

libraryDependencies += "io.chrisdavenport" % "keypool_2.13.0-M5" % "0.2.0-M1"

Leiningen

[io.chrisdavenport/keypool_2.13.0-M5 "0.2.0-M1"]

Dependencies

compile (3)

Group / Artifact	Type	Version
org.scala-lang : scala-library	jar	2.13.0-M5
org.typelevel : cats-core_2.13.0-M5	jar	1.6.0
org.typelevel : cats-effect_2.13.0-M5	jar	1.3.0

test (2)

Group / Artifact	Type	Version
org.specs2 : specs2-core_2.13.0-M5	jar	4.5.1
org.specs2 : specs2-scalacheck_2.13.0-M5	jar	4.5.1

Project Modules

There are no modules declared in this project.