keypool

License	MIT
Categories	KeY Data Data Formats Formal Verification
GroupId	org.typelevel
ArtifactId	keypool_3
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_3

Filename	Size
keypool_3-0.4.7.pom
keypool_3-0.4.7.jar	100 KB
keypool_3-0.4.7-sources.jar	7 KB
keypool_3-0.4.7-javadoc.jar	189 bytes

How to add to project

Apache Maven

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

Gradle Groovy

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

Gradle Kotlin

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

Apache Buildr

'org.typelevel:keypool_3:jar:0.4.7'

Apache Ivy

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

Groovy Grape

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

Scala SBT

libraryDependencies += "org.typelevel" % "keypool_3" % "0.4.7"

Leiningen

[org.typelevel/keypool_3 "0.4.7"]

Dependencies

compile (3)

Group / Artifact	Type	Version
org.scala-lang : scala3-library_3	jar	3.0.2
org.typelevel : cats-core_3	jar	2.6.1
org.typelevel : cats-effect-kernel_3	jar	3.2.9

test (2)

Group / Artifact	Type	Version
org.typelevel : cats-effect-std_3	jar	3.2.9
org.typelevel : munit-cats-effect-3_3	jar	1.0.5

Project Modules

There are no modules declared in this project.

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.3.6 May 17, 2022
0.3.5 May 17, 2021