jaffirm
JVM | Platform | Status |
---|---|---|
OpenJDK LTS | Linux | |
OpenJDK Current | Linux | |
OpenJDK Current | Windows |
License |
License |
---|---|
GroupId | GroupIdcom.io7m.jaffirm |
ArtifactId | ArtifactIdio7m-jaffirm |
Last Version | Last Version1.0.0 |
Release Date | Release Date |
Type | Typepom |
Description |
Descriptionio7m-jaffirm
Contract checking
|
Project URL |
Project URL |
Source Code Management |
Source Code Management |
Filename | Size |
---|---|
io7m-jaffirm-1.0.0.pom | 15 KB |
Browse |
<!-- https://jarcasting.com/artifacts/com.io7m.jaffirm/io7m-jaffirm/ -->
<dependency>
<groupId>com.io7m.jaffirm</groupId>
<artifactId>io7m-jaffirm</artifactId>
<version>1.0.0</version>
<type>pom</type>
</dependency>
// https://jarcasting.com/artifacts/com.io7m.jaffirm/io7m-jaffirm/
implementation 'com.io7m.jaffirm:io7m-jaffirm:1.0.0'
// https://jarcasting.com/artifacts/com.io7m.jaffirm/io7m-jaffirm/
implementation ("com.io7m.jaffirm:io7m-jaffirm:1.0.0")
'com.io7m.jaffirm:io7m-jaffirm:pom:1.0.0'
<dependency org="com.io7m.jaffirm" name="io7m-jaffirm" rev="1.0.0">
<artifact name="io7m-jaffirm" type="pom" />
</dependency>
@Grapes(
@Grab(group='com.io7m.jaffirm', module='io7m-jaffirm', version='1.0.0')
)
libraryDependencies += "com.io7m.jaffirm" % "io7m-jaffirm" % "1.0.0"
[com.io7m.jaffirm/io7m-jaffirm "1.0.0"]
JVM | Platform | Status |
---|---|---|
OpenJDK LTS | Linux | |
OpenJDK Current | Linux | |
OpenJDK Current | Windows |