| License |
License |
|---|---|
| Categories |
CategoriesKeY Data Data Formats Formal Verification |
| GroupId | GroupIdio.chrisdavenport |
| ArtifactId | ArtifactIdkeysemaphore_2.13 |
| Last Version | Last Version0.3.0-M1 |
| Release Date | Release Date |
| Type | Typejar |
| Description |
Descriptionkeysemaphore
keysemaphore
|
| Project URL |
Project URL |
| Project Organization |
Project Organization |
| Source Code Management |
Source Code Management |
JarCasting<!-- https://jarcasting.com/artifacts/io.chrisdavenport/keysemaphore_2.13/ -->
<dependency>
<groupId>io.chrisdavenport</groupId>
<artifactId>keysemaphore_2.13</artifactId>
<version>0.3.0-M1</version>
</dependency>// https://jarcasting.com/artifacts/io.chrisdavenport/keysemaphore_2.13/
implementation 'io.chrisdavenport:keysemaphore_2.13:0.3.0-M1'// https://jarcasting.com/artifacts/io.chrisdavenport/keysemaphore_2.13/
implementation ("io.chrisdavenport:keysemaphore_2.13:0.3.0-M1")'io.chrisdavenport:keysemaphore_2.13:jar:0.3.0-M1'<dependency org="io.chrisdavenport" name="keysemaphore_2.13" rev="0.3.0-M1">
<artifact name="keysemaphore_2.13" type="jar" />
</dependency>@Grapes(
@Grab(group='io.chrisdavenport', module='keysemaphore_2.13', version='0.3.0-M1')
)libraryDependencies += "io.chrisdavenport" % "keysemaphore_2.13" % "0.3.0-M1"[io.chrisdavenport/keysemaphore_2.13 "0.3.0-M1"]| 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_2.13 | jar | 3.2.1 |
| Group / Artifact | Type | Version |
|---|---|---|
| org.typelevel : munit-cats-effect-3_2.13 | jar | 1.0.5 |