keypool

License	MIT
Categories	KeY Data Data Formats Formal Verification
GroupId	org.typelevel
ArtifactId	keypool_2.13
Last Version	0.4.7
Release Date	Sep 19, 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_2.13

Filename	Size
keypool_2.13-0.4.7.pom
keypool_2.13-0.4.7.jar	78 KB
keypool_2.13-0.4.7-sources.jar	7 KB
keypool_2.13-0.4.7-javadoc.jar	1 MB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/org.typelevel/keypool_2.13/ -->
<dependency>
    <groupId>org.typelevel</groupId>
    <artifactId>keypool_2.13</artifactId>
    <version>0.4.7</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/org.typelevel/keypool_2.13/
implementation 'org.typelevel:keypool_2.13:0.4.7'

Gradle Kotlin

// https://jarcasting.com/artifacts/org.typelevel/keypool_2.13/
implementation ("org.typelevel:keypool_2.13:0.4.7")

Apache Buildr

'org.typelevel:keypool_2.13:jar:0.4.7'

Apache Ivy

<dependency org="org.typelevel" name="keypool_2.13" rev="0.4.7">
  <artifact name="keypool_2.13" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='org.typelevel', module='keypool_2.13', version='0.4.7')
)

Scala SBT

libraryDependencies += "org.typelevel" % "keypool_2.13" % "0.4.7"

Leiningen

[org.typelevel/keypool_2.13 "0.4.7"]

Dependencies

compile (3)

Group / Artifact	Type	Version
org.scala-lang : scala-library	jar	2.13.6
org.typelevel : cats-core_2.13	jar	2.6.1
org.typelevel : cats-effect-kernel_2.13	jar	3.2.9

test (2)

Group / Artifact	Type	Version
org.typelevel : cats-effect-std_2.13	jar	3.2.9
org.typelevel : munit-cats-effect-3_2.13	jar	1.0.5

Project Modules

There are no modules declared in this project.

typelevel.scala

Let the Scala compiler work for you.

Versions

Version
0.4.7 Sep 19, 2021
0.4.6 Jun 27, 2021
0.4.5 May 21, 2021
0.4.3 May 20, 2021
0.4.2 Apr 25, 2021
0.4.1 Apr 4, 2021
0.4.0 Mar 29, 2021
0.4.0-RC2 Feb 26, 2021
0.4.0-RC1 Feb 16, 2021
0.4.0-M1 Jan 24, 2021
0.3.6 May 17, 2022
0.3.5 May 17, 2021
0.3.4 Apr 24, 2021
0.3.3 Apr 3, 2021
0.3.0 Feb 19, 2021
0.3.0-RC1 Jan 14, 2021