| License |
License |
|---|---|
| Categories |
CategoriesKeY Data Data Formats Formal Verification Erdos Business Logic Libraries Science |
| GroupId | GroupIdcom.ckkloverdos |
| ArtifactId | ArtifactIdtypedkey |
| Last Version | Last Version0.9.0 |
| Release Date | Release Date |
| Type | Typejar |
| Description |
DescriptionTypedkey
Type-safe keys and their respective environments
|
| Project URL |
Project URL |
| Project Organization |
Project Organization |
| Source Code Management |
Source Code Management |
| Filename | Size |
|---|---|
| typedkey-0.9.0.pom | |
| typedkey-0.9.0.jar | 60 KB |
| typedkey-0.9.0-sources.jar | 5 KB |
| typedkey-0.9.0-javadoc.jar | 21 KB |
| Browse |
JarCasting<!-- https://jarcasting.com/artifacts/com.ckkloverdos/typedkey/ -->
<dependency>
<groupId>com.ckkloverdos</groupId>
<artifactId>typedkey</artifactId>
<version>0.9.0</version>
</dependency>// https://jarcasting.com/artifacts/com.ckkloverdos/typedkey/
implementation 'com.ckkloverdos:typedkey:0.9.0'// https://jarcasting.com/artifacts/com.ckkloverdos/typedkey/
implementation ("com.ckkloverdos:typedkey:0.9.0")'com.ckkloverdos:typedkey:jar:0.9.0'<dependency org="com.ckkloverdos" name="typedkey" rev="0.9.0">
<artifact name="typedkey" type="jar" />
</dependency>@Grapes(
@Grab(group='com.ckkloverdos', module='typedkey', version='0.9.0')
)libraryDependencies += "com.ckkloverdos" % "typedkey" % "0.9.0"[com.ckkloverdos/typedkey "0.9.0"]| Group / Artifact | Type | Version |
|---|---|---|
| org.scala-lang : scala-library | jar | 2.11.4 |
| Group / Artifact | Type | Version |
|---|---|---|
| junit : junit | jar | 4.12 |