keypool

License	MIT
Categories	KeY Data Data Formats Formal Verification
GroupId	org.typelevel
ArtifactId	keypool_3.0.0-RC2
Last Version	0.4.2
Release Date	Apr 25, 2021
Type	jar
Description	keypool keypool
Project URL	https://github.com/typelevel/keypool
Project Organization	org.typelevel
Source Code Management	https://github.com/typelevel/keypool

Download keypool_3.0.0-RC2

Filename	Size
keypool_3.0.0-RC2-0.4.2.pom
keypool_3.0.0-RC2-0.4.2.jar	100 KB
keypool_3.0.0-RC2-0.4.2-sources.jar	7 KB
keypool_3.0.0-RC2-0.4.2-javadoc.jar	189 bytes

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/org.typelevel/keypool_3.0.0-RC2/ -->
<dependency>
    <groupId>org.typelevel</groupId>
    <artifactId>keypool_3.0.0-RC2</artifactId>
    <version>0.4.2</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/org.typelevel/keypool_3.0.0-RC2/
implementation 'org.typelevel:keypool_3.0.0-RC2:0.4.2'

Gradle Kotlin

// https://jarcasting.com/artifacts/org.typelevel/keypool_3.0.0-RC2/
implementation ("org.typelevel:keypool_3.0.0-RC2:0.4.2")

Apache Buildr

'org.typelevel:keypool_3.0.0-RC2:jar:0.4.2'

Apache Ivy

<dependency org="org.typelevel" name="keypool_3.0.0-RC2" rev="0.4.2">
  <artifact name="keypool_3.0.0-RC2" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='org.typelevel', module='keypool_3.0.0-RC2', version='0.4.2')
)

Scala SBT

libraryDependencies += "org.typelevel" % "keypool_3.0.0-RC2" % "0.4.2"

Leiningen

[org.typelevel/keypool_3.0.0-RC2 "0.4.2"]

Dependencies

compile (3)

Group / Artifact	Type	Version
org.scala-lang : scala3-library_3.0.0-RC2	jar	3.0.0-RC2
org.typelevel : cats-core_3.0.0-RC2	jar	2.6.0
org.typelevel : cats-effect-kernel_3.0.0-RC2	jar	3.1.0

test (2)

Group / Artifact	Type	Version
org.typelevel : cats-effect-std_3.0.0-RC2	jar	3.1.0
org.typelevel : munit-cats-effect-3_3.0.0-RC2	jar	1.0.2

Project Modules

There are no modules declared in this project.

typelevel.scala

Let the Scala compiler work for you.

Versions

Version
0.4.2 Apr 25, 2021
0.4.1 Apr 4, 2021
0.3.4 Apr 24, 2021
0.3.3 Apr 3, 2021